Re: License inconsistency for `verify'

[Bruno Haible]

Ludovic Courtès wrote:
> Is it just out of convenience that license headers are always kept
> GPLv3+?

Yes. But it's an important convenience; without it, some people could not
work efficiently with gnulib.

Bruno