Re-sending these two in a separate bundle so I can self-screen them in the
patch tracker.
2 patches for repository http://darcs.net/screened:
patch 1259707ab05dadf6c7c82eddd91f83a96e5b13f1
Author: Ben Franksen <benjamin.franksen@helmholtz-berlin.de>
Date: Sat Feb 7 14:01:45 CET 2015
* cleanup: slightly streamlined doRecord
patch 4b50fd374b31c32d6481ced38fc2d480936ed8ef
Author: Ben Franksen <benjamin.franksen@helmholtz-berlin.de>
Date: Sat Feb 7 14:29:49 CET 2015
* cleanup: tentativelyReplacePatches is only used internally