chiark / gitweb /
changelog: mention #887850 fix