chiark / gitweb /
NEWS: Fix typos.