chiark / gitweb /
Some stylistic fixups; get rid of warning when processing pre-publish-rejection log...