Hi, It seems the list of pull requests on github is getting bigger, who's inchange to review it? https://github.com/php/php-src/pulls
I must say that my experience so far in trying to push patches through the bug system or pull request is quite deprsing (comparing to other open source projects): https://liorkaplan.wordpress.com/2013/06/05/getting-patches-into-php/ Kaplan