Merge pull request #15795 from mhei/php7-update
authorMichael Heimpold <mhei@heimpold.de>
Mon, 7 Jun 2021 20:23:17 +0000 (22:23 +0200)
committerGitHub <noreply@github.com>
Mon, 7 Jun 2021 20:23:17 +0000 (22:23 +0200)
commit0287535ec4e6aa3b086e8b285c472f58e3a12ad6
tree172a69b7fcebf0fb5aaea4ad023b4265fc944ed1
parent4c163b0b123d26538710b78f1ef8f4f47bcdbc0b
parent555d0c9a291cb9ffaefaa22da36095613857e10f
Merge pull request #15795 from mhei/php7-update

php7: update to 7.4.20