Good evening, I’d like to request /Zend karma so I don’t have to submit a pull request when I have a trivial fix, like this one: https://github.com/php/php-src/pull/785
I know my way around Zend by now (largely from working on bigints), and if I do have a big change, I’d always pull request it first and make an RFC anyway. Similarly, Adam Harvey aka LawnGnome would also like /Zend karma for the same reasons. Could this happen? Thanks! -- Andrea Faulds http://ajf.me/ -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
