Merge pull request #19769 from mhei/php8-update-8.1.12
authorMichael Heimpold <mhei@heimpold.de>
Thu, 3 Nov 2022 06:22:10 +0000 (07:22 +0100)
committerGitHub <noreply@github.com>
Thu, 3 Nov 2022 06:22:10 +0000 (07:22 +0100)
commit4e9df6ca5580b24478c65ec71958cc24645b809d
treeae4b66e2ea6ec2087a52e8e46225e66e3dd09a17
parent7960285c3301532e8c464fb06260ce14ae4357a0
parent58b47869c018389218821c4f0947710b693847f4
Merge pull request #19769 from mhei/php8-update-8.1.12

php8: update to 8.1.12