Web lists-archives.com

Re: [PHP] Re: GitHub mirrors




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@xxxxxxxxxxxxx

Thanks,
Peter

On 9 October 2017 at 19:52, Peter Kokot <peterkokot@xxxxxxxxx> 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
>
>