> 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 -- PHP General Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
