tree d1cc790769a52b9bc22d29f2d909dddfc5f03678
parent e7c4c261a0d737bb6daf07eff0cc190580e63bd7
author Donal Fellows <donal.k.fellows@manchester.ac.uk> 1382091749 +0100
committer Donal Fellows <donal.k.fellows@manchester.ac.uk> 1382091749 +0100

Quieten logs in one possible failure mode.