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. Nikita