Closed arjenschol closed 9 years ago
Is there any way to give this issue a bit more attention? Especially since the aforementioned bug is a duplicate of a bug originally reported in september 2013 (https://bugs.php.net/bug.php?id=65743) Which up until PHP5.6.3 is still very much alive
...
this seems to be fixed today in upstream
https://bugs.php.net/bug.php?id=67111.
http://git.php.net/?p=php-src.git;a=patch;h=aa394e70ff8cda63ee4382d2488d80936e5122dc
Crosspost from php bugtracker: see https://bugs.php.net/bug.php?id=67111