On 25 December 2015 at 07:14, Eli Zaretskii <e...@gnu.org> wrote:
>
> So is the patch good to go in?
>

Yes.

Reply via email to