On 5/23/21 4:19 AM, Bruno Haible 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." ?
Yes, that still sounds reasonable.
