chiark / gitweb /
Remove a stray empty line