Re: [PATCH] gnulib-tool.py: Simplify creation of module shell ids.

[Bruno Haible]

Collin Funk wrote:
> I've committed this patch adding the ASCII flag.

Thanks.