Eric Kow <kowey at darcs.net> added the comment: Thanks! wont-fixing accordingly. ---------- assignedto: gwern -> priority: bug -> not-our-bug status: waiting-for -> wont-fix __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/issue858> __________________________________