php/php-src — pull request #509 by iwalz (2013-10-28 20:02:31+00:00)
Title: Bugfix for #64604

https://bugs.php.net/bug.php?id=64604