chiark / gitweb /
Administrivia: Fix erroneous GPL3+ licence notices "version d or later" (!)