chiark / gitweb /
Do not flush in ocr debug if debug not enabled