David Roundy <droundy at darcs.net> added the comment: I think so. ---------- status: chatting -> resolved __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/issue728> __________________________________