chiark / gitweb /
parallel bisect scripts: Better logging