Ben Franksen <benjamin.franksen at helmholtz-berlin.de> added the comment: Resolved by Patch1246 ---------- resolvedin: -> 2.10.0 HEAD status: has-patch -> resolved __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/issue822> __________________________________