On 17 July 2023 17:40:06 BST, Ben Ramsey <b...@benramsey.com> wrote: >> On Jul 17, 2023, at 09:25, Derick Rethans <der...@php.net> wrote: >> >> 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. > > >Did you see this other thread that somehow got created separate from this >thread? > >https://externals.io/message/120811
I did. But that deals with an issue that is already present in the current implementation. This PR does not effect that at all. cheers Derick -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
