Re: GitHub mirrors
| From: | Peter Kokot | Date: | Mon, 09 Oct 2017 18:52:13 +0000 |
| Subject: | Re: GitHub mirrors | ||
| References: | 1 | Groups: | php.general |
| Request: | Send a blank email to php-general+get-326232@lists.php.net to get a copy of this message | ||
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