> Is there any chance you can log this in https://bugs.php.net/

See https://bugs.php.net/bug.php?id=63235

Remi.



-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to