chiark / gitweb /
RELEASE-CHECKLIST: Say to update versions after doing release