chiark / gitweb /
test suite: Drop a couple of useless test log output lines.