Re: gnulib-tool.py: Follow gnulib-tool changes, part 43, 44.

[Bruno Haible]

Collin Funk wrote:
> These two patches add the notice banners when running 'make all' and
> 'make check'.

Thanks! Applied.

Bruno