chiark / gitweb /
Mention bug-fixes below in CHANGES.html.