Re: [PATCH] gnulib-tool.py: Inline 'sed' invocations used on library files.

[Bruno Haible]

I updated the gnulib-tool.py.TODO file again:
The other 'sed' invocation can stay, since it occurs only once per
gnulib-tool.py invocation).

Bruno