From 68f0a885e7f50d4717c9ddcd7e23dff3e9965d1d Mon Sep 17 00:00:00 2001 From: Juan RP Date: Wed, 19 Mar 2014 12:09:30 +0100 Subject: [PATCH] texinfo: revbump due to