sebastianbergmann/phpunit — pull request #760 by fizzka (2012-12-22 09:25:30+00:00)
Title: Issue #657: stderr in xml configuration

Here is a small solution to Issue #657