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
