chiark / gitweb /
new update-master-info seems to work