On 9 October 2017 at 22:06, Peter Kokot <peterkokot@xxxxxxxxx> wrote: > > 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 > > > > Sure, I'll do that in the future for sure, but currently it's not > possible to subscribe and send mails to internals and some other > mailing lists due to a bug: > https://bugs.php.net/bug.php?id=74870 There have been emails going to the list recently so I don't think that part is broken, hopefully just the subscribing. Assuming that's the case, you can send a mail to the list without being subscribed.
