chiark / gitweb /
more merge fixups