chiark / gitweb /
bump to 1.0.2 to placate pypi