chiark / gitweb /
automatic agpl compliance: fixes