Christoph, I think we should merge
http://git.php.net/?p=php-src.git;a=commitdiff;h=5c4d125d4c2976236e2ecddd1d8c6e7b113ec482
into 7.3.6.
-Rasmus
Christoph, I think we should merge
http://git.php.net/?p=php-src.git;a=commitdiff;h=5c4d125d4c2976236e2ecddd1d8c6e7b113ec482
into 7.3.6.
-Rasmus
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
On Wed, May 15, 2019 at 10:06 AM Christoph M. Becker cmbecker69@gmx.de
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?
This is a somewhat tricky change, so I'd recommend re-tagging.
Nikita
On Wed, May 15, 2019 at 10:06 AM Christoph M. Becker cmbecker69@gmx.de
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?This is a somewhat tricky change, so I'd recommend re-tagging.
Okay, I'm going to re-tag.
Thanks,
Christoph