Re: [PATCH] gnulib-tool.py: Don't print extra newlines.

[Bruno Haible]

Collin Funk wrote:
> This patch removes a few newlines in the diff between gnulib-tool.sh
> and gnulib-tool.py.

Thanks; applied.

Bruno