> Date: Fri, 25 Dec 2015 09:14:54 +0000 > From: Gavin Smith <[email protected]> > Cc: Texinfo <[email protected]> > > On 25 December 2015 at 07:14, Eli Zaretskii <[email protected]> wrote: > > > > So is the patch good to go in? > > > > Yes.
Committed.
