chiark / gitweb /
set version to v0.2