Merge pull request #22518 from mhei/php8-update-to-8.2.12
authorMichael Heimpold <mhei@heimpold.de>
Sat, 28 Oct 2023 07:55:37 +0000 (09:55 +0200)
committerGitHub <noreply@github.com>
Sat, 28 Oct 2023 07:55:37 +0000 (09:55 +0200)
commite8914a2a5762392f444afb9bbe86b429cda4ca29
tree7b0eb320978a8d4e2bb074fc3047489d6b5b5faa
parentefe0cbcb7541eff4072fa5421a244ac05cab43e6
parent8d6a63df8ad0b8bdb4073e20774f34ae26791c5d
Merge pull request #22518 from mhei/php8-update-to-8.2.12

php8: update to 8.2.12