On 13 July 2023 18:35:44 BST, Gabriel Fontes <h...@m7.rs> wrote: >Hi everyone, > >PR author here. Thanks a lot for pushing this forward, Derick. >Do let me know if you folks have any feedback or concerns about the PR, I'll >be happy to address them. > >Cheers, >Gabriel Aa it seems nobody objected and feature freeze is this week, I'm going to merge this PR.
cheers Derick -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
