Merge pull request #18631 from mhei/php8-update
authorMichael Heimpold <mhei@heimpold.de>
Mon, 30 May 2022 21:07:33 +0000 (23:07 +0200)
committerGitHub <noreply@github.com>
Mon, 30 May 2022 21:07:33 +0000 (23:07 +0200)
commit281da888f0f92fc945658081b895996d82579489
tree4e221567ff02c2c598575670c7facbdf81904b5f
parent34ee9e9c6660a02185e258f764f464e159edf868
parentfbcb35b33f22d11c6f441fae01911d7fac7ebe76
Merge pull request #18631 from mhei/php8-update

php8: update to 8.1.6