chiark / gitweb /
changelog: Document the 8.5 bugfix.