Ganesh Sittampalam <[email protected]> added the comment: I've looked through this, though not in great detail, and it seems basically fine. Given that David originally wrote it so Petr's port consists of a second pair of eyes on it, I think it should go in as soon as he's ready.
---------- nosy: +ganesh __________________________________ Darcs bug tracker <[email protected]> <http://bugs.darcs.net/patch196> __________________________________ _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
