Re: [PATCH 1/2] gnulib-tool.py: Follow gnulib-tool changes, part 41.

[Bruno Haible]

Hi Collin,

> After that we get the following diff:

This is much nicer indeed.

I have applied the 0002-* patch.

Bruno