chiark / gitweb /
bugfixes from testing, for recent changes