On Sun, May 23, 2021, 8:05 AM Bruno Haible <bruno@clisp.org> wrote:

> Does everyone still agree
>   - to put into the source files a license header that is consistent
>     with the module description, and
>   - to remove the statement from the documentation
>     "The source files always say "GPL", but the real license
>      specification is in the module description file." ?
>

Definitely.

>