>
> Just to chime in ... can you split the PR into the RFC, and the new thing
> please.
>

Of course, that's done now: https://github.com/php/php-src/pull/2206

Reply via email to