Am 28.03.2020 um 08:44 schrieb Sebastian Bergmann:
I can deal with this in PHPUnit's code either way, but need to know what the plan here is.
I worked around the issue now [1]. --[1] https://github.com/sebastianbergmann/phpunit/commit/477798f6b226e830d358bc102cd02bb2e52cfdb2
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
