Revision e2a5b6fc704de095830e6a470bd154fb67ed1b89

Committed on 30/07/2009 8:40 am by Sebastian Bergmann <[email protected]> [GitHub Diff]

- Sync with recent changes to PHPUnit_TextUI_ResultPrinter.

Share your information