This is resolved by Kevin Quick's recent patch. Thanks Kevin! ---------- status: chatting -> resolved-in-unstable __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/issue568> __________________________________