Added a regression test for #1380.
Prepare release
Update
Prepare release
Prepare release
Closes #1433
Merge branch '4.0' into 4.1
Merge branch '4.1' into 4.2
Merge branch '4.2'
Merge branch 'master' of git://github.com/sebastianbergmann/phpunit