Merge pull request #17676 from mhei/php8-update
authorMichael Heimpold <mhei@heimpold.de>
Tue, 25 Jan 2022 20:40:04 +0000 (21:40 +0100)
committerGitHub <noreply@github.com>
Tue, 25 Jan 2022 20:40:04 +0000 (21:40 +0100)
commit267753b1d49e3f0be7b1b71859b2a500a277d03c
tree523e6322dcb95605dc1a195de3b5b6cd5557c439
parent41c2e77e6ad959603849645603dbb9a1922fabf1
parentca4e6992fd9b4ef76335ced24ec89398545f742d
Merge pull request #17676 from mhei/php8-update

php8: update to 8.1.2