chiark / gitweb /
stest: Use stderr, not tty, for logging