On 15.05.2019 at 07:42, Rasmus Lerdorf wrote: > Christoph, I think we should merge > http://git.php.net/?p=php-src.git;a=commitdiff;h=5c4d125d4c2976236e2ecddd1d8c6e7b113ec482 > into 7.3.6.
Thanks for the ping! This looks like an important bug fix, and since it will be in PHP 7.2.19, it should also be in 7.3.6. I wonder, though, whether it is safe to have it without an RC, or whether 7.3.6RC1 should be re-tagged. Thoughts? Thanks, Christoph -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
