There seems to be an upcoming fix for this problem -> https://github.com/php/php-src/issues/18529I guess i should have reported it to PHP-upstream instaead of here - sorry for that, my bugreport should be closed.
Kind regards fischtag
There seems to be an upcoming fix for this problem -> https://github.com/php/php-src/issues/18529I guess i should have reported it to PHP-upstream instaead of here - sorry for that, my bugreport should be closed.
Kind regards fischtag