Merge pull request #19321 from mhei/php8-update-8.1.10
authorMichael Heimpold <redacted>
Wed, 7 Sep 2022 19:53:33 +0000 (21:53 +0200)
committerGitHub <redacted>
Wed, 7 Sep 2022 19:53:33 +0000 (21:53 +0200)
commitebda9516492cfe8fab764f953aa873997cd5da40
treeb9930c4d0c5309781f438f5c533638413f2a1604
parent4155774ef4350b777a3c105406c63e1c123edda4
parent026a672ad10898705f57f421ad09cf083bdfec13
Merge pull request #19321 from mhei/php8-update-8.1.10

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