Thanks; NEWS entry is missing though! And it unfortunately *just* missed the 7.0.18 branch cutoff :(
Or can it be merged to PHP-7.0.18, given how problems would be caught in 7.1.4RC1 testing? ;) > On 28. Mar 2017, at 22:10, Nikita Popov <nikita....@gmail.com> wrote: > > On Mon, Mar 27, 2017 at 10:58 PM, David Zuelke <d...@heroku.com> wrote: > Just another poke to surface it, in case this should be merged into the 7.0 > branch as well :) > > https://bugs.php.net/bug.php?id=74250 > > I've applied > https://github.com/php/php-src/commit/d6f70f0ee3d5f595a9f6dadaabda834a1d47c662 > to 7.0. The rest is not relevant. > > Nikita -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php