<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sat, Feb 15, 2014 at 12:48 AM, Lior Kaplan <span dir="ltr"><<a href="mailto:kaplan@debian.org" target="_blank">kaplan@debian.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra">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.<span class=""><font color="#888888"><br>
</font></span></div></div></blockquote><div><br></div><div>Fix by upstream (from the PHP 5.4 branch): <a href="http://git.php.net/?p=php-src.git;a=commitdiff;h=89f864c547014646e71862df3664e3ff33d7143d">http://git.php.net/?p=php-src.git;a=commitdiff;h=89f864c547014646e71862df3664e3ff33d7143d</a><br>
<br></div><div>Kaplan<br></div></div></div></div>