On Mon, Mar 28, 2016 at 7:43 PM, Paul Eggert <[email protected]> wrote:
> Kiyoshi KANAZAWA wrote:
>
>> I confirmed your patch fixed the problem.

Thank you both for the report and the patch.



Reply via email to