Merge pull request #16499 from mhei/php8-update
authorMichael Heimpold <mhei@heimpold.de>
Tue, 31 Aug 2021 18:25:21 +0000 (20:25 +0200)
committerGitHub <noreply@github.com>
Tue, 31 Aug 2021 18:25:21 +0000 (20:25 +0200)
commit7f320e1b18e8f4a7787faa9abda325868407ac44
treeaa3fa2acc69f8e9885b6edf21b2db49edec977f4
parentdfbd09c6f643fb89828a3d08f2dee4dad6937bde
parent449acc7dacf867db2a00ea886b7e4484ceeca6d9
Merge pull request #16499 from mhei/php8-update

php8: update to 8.0.10