> 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.

Reply via email to