Hi everybody, I've submitted a pull-request to fix bug #51191. This is now waiting for review for 2 months. Is there anything further I can do? What's the appropriate duration to wait before pinging at this mailinglist?
Link to PR: https://github.com/php/php-src/pull/7509 I've just rebased to fix merge conflicts. CI is failing due to an error on azure regarding purchased parallelism. I guess this will resolve itself once this is fixed. Cheers, Tim -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
