Excellent, thanks Eric. Easy-to-run benchmarking is going to be quite impactful.
On irc we discussed moving this into the main darcs repo (eg under tools). Pro: available for use by every darcs developer without further effort, optimally visible to and maintainable by all darcs developers, does not require Eric's time as maintainer. Con: intermingling of darcs and tool patches might be a distraction. I think I'm in favour, what do folks think ? _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
