chiark / gitweb /
pretest-to-tested: Script for helping run comprehensive-test