Hi! Does anybody have an idea what changed between PHP 7.1.1 and the current state of the PHP 7.1 branch that would explain https://github.com/sebastianbergmann/phpunit/issues/2454?
Thanks, Sebastian -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
