Guillaume Hoffmann <guillaumh at gmail.com> added the comment: Obsoleted by http://bugs.darcs.net/patch1397 ---------- status: review-in-progress -> obsoleted __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/patch1185> __________________________________