chiark / gitweb /
Set version number properly. D'oh.