On 13-8-2024 5:12, Peter Kokot wrote:
Should be fixed via https://github.com/php/php-src/pull/15373

All I can say: Thank you, gracious warrior and hero!

Reply via email to