chiark / gitweb /
revert permission changes