Merge pull request #17897 from mhei/php8-update
authorMichael Heimpold <mhei@heimpold.de>
Sat, 19 Feb 2022 12:22:02 +0000 (13:22 +0100)
committerGitHub <noreply@github.com>
Sat, 19 Feb 2022 12:22:02 +0000 (13:22 +0100)
commit6fda64f499538526fb7331c32786d9511edca324
tree1fc354f35cf5ca8fbca8ddbaeff0daeb7b2614be
parentb9f236ae1f7bb5e963ad48427a34998d5021d427
parent2c19d13be8ed094b6bcad5fea3088e5f10f884e3
Merge pull request #17897 from mhei/php8-update

php8: update to 8.1.3