chiark / gitweb /
changelog: Fix ref to #842577