On 06.06.2020 at 01:39, David Gebler wrote: > Thanks, my browser was automatically populating the wrong email, I've now > registered. Apparently I need to request karma now? Username dwgebler.
RFC karma granted. I'm not sure whether this feature needs an RFC, though. Maybe just start with a pull request, and see if that turns out to be controversial. Thanks, Christoph -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php