chiark / gitweb /
finalise and tidy changelog for 0.15