Hi Paolo,
I just noticed that scripts/fix-multiline-comments.sh has a copyright
statement, but no license statement. Should that be fixed?
It looks like there exist more files with the same problem (if it is a
problem), for example docs/devel/loads-stores.rst (written by Peter).
LICENSE says that "Source files with no licensing information are
released under the GNU General Public License [...]". Does that include
shell and Python scripts, documentation and other files which might not
be regarded as "source files"? Or should that be updated to "Any files
with no licensing information [...]" which would also include files
which have neither a copyright nor a license statement?
Kind regards
Stefan W.