Merge pull request #15552 from mhei/php7-update
authorMichael Heimpold <mhei@heimpold.de>
Sat, 8 May 2021 21:11:22 +0000 (23:11 +0200)
committerGitHub <noreply@github.com>
Sat, 8 May 2021 21:11:22 +0000 (23:11 +0200)
commit70bb71fdffe1818fcc569bcfaedc045c2e89007a
treed15da4c0627ead765a3c8a21dbe6e132bdaea72a
parent7aa92e4d4eb39343228e543397c16b4cad9e8eb8
parentaaaeef8b6374ee1dda58f68e4d0626c3167ddc65
Merge pull request #15552 from mhei/php7-update

php7: update to 7.4.18