Eric Kow <kowey at darcs.net> added the comment: I'll copy your messages to issue1923; please make further comments there. __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/issue1935> __________________________________