chiark / gitweb /
process putatives: break out log_ignore