Eric Kow <kowey at darcs.net> added the comment: Yes, thanks :-) __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/patch743> __________________________________