> 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 Cheers, Ben
signature.asc
Description: Message signed with OpenPGP
