Gabriel Kerneis <kerneis at pps.jussieu.fr> added the comment: Resolved by patch511. ---------- status: need-implementation -> in-progress __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/issue1558> __________________________________