Merge pull request #16248 from mhei/php7-update
authorMichael Heimpold <mhei@heimpold.de>
Sat, 31 Jul 2021 07:11:29 +0000 (09:11 +0200)
committerGitHub <noreply@github.com>
Sat, 31 Jul 2021 07:11:29 +0000 (09:11 +0200)
commit98d5e26d4d1ce74d9dae0363ac3b0d0ad2872cdd
tree9cf78d0ddc163573e772397c51a37e00b820d388
parent2143d536b61fa61561d13b926f6fe129c4ff1ca1
parent741d6d6768e4d3d9a85d83fb7a6dce422cefde5a
Merge pull request #16248 from mhei/php7-update

php7: update to 7.4.22