Web lists-archives.com

[PHP] Re: GitHub mirrors




The GitHub mirrors and all the things mentioned have been rethought
and can be solved here instead better and simpler:
https://github.com/php/php-src/pull/2833

-- 
PHP General Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php