chiark / gitweb /
Fix GPL version in copyright file (closes: #514157).