Eric Kow <kowey at darcs.net> added the comment: Also, does patch456 make this obsolete? __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/patch442> __________________________________