Petr Ročkai <[email protected]> added the comment: This has been pushed a while back.
---------- status: needs-review -> accepted __________________________________ Darcs bug tracker <[email protected]> <http://bugs.darcs.net/patch330> __________________________________ _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
