On 15.05.2019 at 10:08, Nikita Popov wrote: > On Wed, May 15, 2019 at 10:06 AM Christoph M. Becker <cmbecke...@gmx.de> > wrote: > >> 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? > > This is a somewhat tricky change, so I'd recommend re-tagging.
Okay, I'm going to re-tag. Thanks, Christoph -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php