chiark / gitweb /
changelog: Minor tidying-up