chiark / gitweb /
process putatives: Properly report regexp mismatch ignores