Gabriel Kerneis <kern...@pps.jussieu.fr> added the comment: A new version of this patch has been sent separately (based on a completely different idea).
---------- status: followup-in-progress -> obsoleted __________________________________ Darcs bug tracker <b...@darcs.net> <http://bugs.darcs.net/patch447> __________________________________ _______________________________________________ darcs-users mailing list darcs-users@darcs.net http://lists.osuosl.org/mailman/listinfo/darcs-users