Hi Nikita, On Fri, Apr 8, 2016 at 7:42 AM, Nikita Popov <nikita....@gmail.com> wrote: > As the discussion was positive, this is now merged as > https://github.com/php/php-src/commit/75af8150f58fb55637ac12b33d469b27adef9d76
Could you write UPGRADING for this? Regards, -- Yasuo Ohgaki yohg...@ohgaki.net -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
