commit 80f06614ffccabdf18fac591e2bdec03362f7ff8
Merge: e77f582d5a7 e754e7de456
Author: Sergey Panteleev <sergey@php.net>
Date: Wed May 6 15:50:39 2026 +0300
Merge branch 'PHP-8.3' into PHP-8.4
* PHP-8.3:
PHP-8.2 is now for PHP 8.2.32-dev