See further discussion in the issue tracker: http://bugs.darcs.net//Ticket/Display.html?id=483
Perhaps all issue tracker comments should be Cc:'ed to darcs-devel. Regards, Zooko _______________________________________________ darcs-devel mailing list [email protected] http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
