Merge pull request #16957 from mhei/php8-update
authorMichael Heimpold <mhei@heimpold.de>
Sat, 23 Oct 2021 10:54:08 +0000 (12:54 +0200)
committerGitHub <noreply@github.com>
Sat, 23 Oct 2021 10:54:08 +0000 (12:54 +0200)
commit84ac4fc9e0311faa85bf2eb8381072755c8aece4
treec334d2dac41b045723e28cfefc2a1673e0604e03
parent03129673bc66e31bfa0b42d6bcdb77444873247b
parentfb7a33a114c27bc127e10bffca01e3ec3c6c0bdc
Merge pull request #16957 from mhei/php8-update

php8: update to 8.0.12