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

Reply via email to