chiark / gitweb /
changelog version finalised, 1.2