On 07.05.2019 at 16:09, Nikita Popov wrote: > On Fri, May 3, 2019 at 11:44 AM Christoph M. Becker <cmbecke...@gmx.de> > wrote: > >> On 03.05.2019 at 01:18, Björn Larsson wrote: >> >>> Did this lead to a bug report? >> >> Hmm, apparently not. > > This was reported as https://bugs.php.net/bug.php?id=77907 and will be > fixed in 7.4.
Thanks! -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
