[PATCH 0/3] minor fixes

[Bernhard Voelker]

* [PATCH 1/3] maint: fix GPLv3 texts to use a comma instead of
* [PATCH 2/3] maint: update gnulib to latest
* [PATCH 3/3] maint: avoid warnings from sparse tool