chiark / gitweb /
changelog: document further make-release changes