On Sat, Feb 15, 2014 at 12:48 AM, Lior Kaplan <kap...@debian.org> wrote:
> The question is: do we want to patch this ourselves, or wait for PHP to > provide the fix based on the linked commits? I guess the latter would be > best, unless it will take them too much time. > Fix by upstream (from the PHP 5.4 branch): http://git.php.net/?p=php-src.git;a=commitdiff;h=89f864c547014646e71862df3664e3ff33d7143d Kaplan
