Hi, http://github.com/php/php-src is not updated for a long time.
Probably, it has not worked correctly since removing trunk. I hope that it will work again. (Is this report suitable for this list?) Thanks. -- Kousuke Ebihara -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
