chiark / gitweb /
Document that issue #32 was fixed.