Revision 717d962773fc967ac80b48030ab423188de8231c

Committed on 15/10/2009 11:51 pm by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

Make new test runner the default.