chiark / gitweb /
NEWS: update NEWS file according to most recent changes in git