Re: Re: GitHub mirrors
| From: | Peter Cowburn | Date: | Mon, 09 Oct 2017 20:01:00 +0000 |
| Subject: | Re: Re: GitHub mirrors | ||
| References: | 1 2 | Groups: | php.general |
| Request: | Send a blank email to php-general+get-326233@lists.php.net to get a copy of this message | ||
Hi Peter,
This mailing list is for general PHP support questions. A more appropriate
mailing list to use to let people know about your PR is
internals@lists.php.net
Thanks,
Peter
On 9 October 2017 at 19:52, Peter Kokot <peterkokot@gmail.com> wrote:
> 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
>
>