Commit f221458b8846e683cd65618378f61932d89f68c3

Bruno Haible 2021-06-06T11:42:12

gnulib-local: Put real license notice into the source files.