chiark / gitweb /
server/tests.at (AWAIT_KXDONE): Ignore warnings and trace.