chiark / gitweb /
Fix version number in a couple of places.