chiark / gitweb /
changelog: Mention manually that we close #917194.