chiark / gitweb /
update release notes for next version