You can view the Pull Request on github: https://github.com/php/web-php/pull/404
Opened By: Girgias Pull Request Description: We do not use mirrors anymore, thus this is irrelevant. -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
