chiark / gitweb /
Remove apparently-unneeded space