chiark / gitweb /
changelog: finalise 7.0.0