commit d92fa57a787e141622c2ec6103a08a21fe6373a1
Merge: fb1ec9a5a7c 6836c230ed6
Author: Pierrick Charron <pierrick@php.net>
Date: Wed Dec 17 07:48:54 2025 -0500
Merge branch 'PHP-8.2' into PHP-8.3
* PHP-8.2:
PHP-8.2 is now for PHP 8.2.31-dev