Merge pull request #18823 from mhei/php8-update
authorMichael Heimpold <redacted>
Sun, 26 Jun 2022 19:49:47 +0000 (21:49 +0200)
committerGitHub <redacted>
Sun, 26 Jun 2022 19:49:47 +0000 (21:49 +0200)
commit8ec712ff61ed18be6d959b23486a6a14bebdb43b
treeff5919d6898f3505a4aba113eb8aaeaa084d324c
parent766cfa19cf4e53a61af85baaf24bf566e23fa0d5
parentf8f72420cdb51bdec383c1aba56c03c01b133740
Merge pull request #18823 from mhei/php8-update

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