chiark / gitweb /
document my change in the changelog