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