chiark / gitweb /
Document bug fix in CHANGES.