chiark / gitweb /
Merge recent changelog entries.