Christoph, I think we should merge http://git.php.net/?p=php-src.git;a=commitdiff;h=5c4d125d4c2976236e2ecddd1d8c6e7b113ec482 into 7.3.6.
-Rasmus
Christoph, I think we should merge http://git.php.net/?p=php-src.git;a=commitdiff;h=5c4d125d4c2976236e2ecddd1d8c6e7b113ec482 into 7.3.6.
-Rasmus