I meant to add a comment to this send, but I had to run off to work. These patches don't need to be applied to unstable right away. There's nothing wrong with them, they fix a bug with unpull by removing an optimization, but it can possibly be solved in a better way keeping the optimization.
-- Tommy Pettersson <[EMAIL PROTECTED]> _______________________________________________ darcs-devel mailing list [email protected] http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
