> I've published a patch for bug #65576 :
> https://github.com/php/php-src/pull/946
> Can you review it and merge it please ?

Are we sure that's that correct behavior? Can you provide some
rationale for why it should happen this way?

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

Reply via email to