Merge pull request #16038 from mhei/php7-update
authorMichael Heimpold <mhei@heimpold.de>
Mon, 5 Jul 2021 18:58:41 +0000 (20:58 +0200)
committerGitHub <noreply@github.com>
Mon, 5 Jul 2021 18:58:41 +0000 (20:58 +0200)
commit42aa15b653c7f6772ba59a134aeaa0a1292773c0
tree8c806b6c5412af2deed47bec7b1bb2b05eedfa43
parent7984c71bddf98496a710c59d4fd9236f654c297e
parentf15aba89f725f31d03edd95e03547670ca994e47
Merge pull request #16038 from mhei/php7-update

php7: update to 7.4.21