Gavin Smith Fri, 25 Dec 2015 01:15:47 -0800
On 25 December 2015 at 07:14, Eli Zaretskii <e...@gnu.org> wrote: > > So is the patch good to go in? >
Yes.