> Passed my tests, so I've now pushed it with this changelog (the tiny > change designation merely means you don't have copyright papers on > file for gnulib):
Thanks. However, IIRC, I've signed quite broad copyright papers many years ago so that contributions to *any* GNU project are automatically covered (at least this was my intention then and still is). Not that this matters here, of course. Will check this with the FSF. Werner