Hi,

Quick follow-up:

>
> Please create a draft PR for this so we can discuss it there. It's much
easier than here.
>

I've opened the PR as a draft: https://github.com/php/php-src/pull/22638

Kind regards,

Gianfrancesco

>

Reply via email to