Hi Julien, On Fri, Jan 15, 2016 at 7:36 PM, Julien Pauli <[email protected]> wrote: > > I will cherry pick it for 5.5 , as it is a fix for a security fix.
Thank you. > > Is it bfb9307b2d679a91e138fd876880470ece60942b ? It's 8c37a086c78a66517967fcb809fb53297becfe42 Regards, -- Yasuo Ohgaki [email protected] -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
