Merge pull request #13822 from mhei/php7-update
authorMichael Heimpold <mhei@heimpold.de>
Sun, 1 Nov 2020 16:20:05 +0000 (17:20 +0100)
committerGitHub <noreply@github.com>
Sun, 1 Nov 2020 16:20:05 +0000 (17:20 +0100)
commit17eae67cbe3a5e6a4dd00c2cf016e67081f2c749
tree40f4e6170edb3997fb2bae0bc2d7e5161d17bc07
parent63dfdc63a9e697edd543b43a9936f5f7fe46b583
parentb737b8ce6c5ed746895a5ba3bf191e217e69a983
Merge pull request #13822 from mhei/php7-update

php7: update to 7.4.12