Eric Kow <[email protected]> added the comment: OK, Petr said on IRC that this can go in. So I'll push it to both HEAD and the release branch.
__________________________________ Darcs bug tracker <[email protected]> <http://bugs.darcs.net/patch317> __________________________________ _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
