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