chiark / gitweb /
changelog: tidy for recent changes