chiark / gitweb /
NEWS: fixes that probably should have been made before the 209 release