Merge pull request #24251 from mhei/php8-update-to-8.3.7
authorMichael Heimpold <redacted>
Thu, 30 May 2024 05:52:56 +0000 (07:52 +0200)
committerGitHub <redacted>
Thu, 30 May 2024 05:52:56 +0000 (07:52 +0200)
commit37a6c5846f6681c35f11bc61e63f5c6cbab80e57
treee05ea1f32a45a4b8d4b8c13808414f40934d5d08
parentaefb276884f5abdb9c6770f82e9b101e40340137
parent533456bcc07164fade4b7290a4b3b8869f82dc50
Merge pull request #24251 from mhei/php8-update-to-8.3.7

php8: update to 8.3.7
git clone https://git.99rst.org/PROJECT