Re: gnulib-tool.py in gettext

[Bruno Haible]

Hi Collin,

> This patch fixes the issue for me.

Thanks! I confirm, it's fixed for me too. Applied.

Bruno