Merge pull request #15011 from mhei/php7-update
authorMichael Heimpold <mhei@heimpold.de>
Sat, 6 Mar 2021 05:30:43 +0000 (06:30 +0100)
committerGitHub <noreply@github.com>
Sat, 6 Mar 2021 05:30:43 +0000 (06:30 +0100)
commit5dd949d86e5a58b201b1e5e7cd5c4abab73a7ef1
tree93b65a760c8821284556ca561bfe4f2ed8bfb48a
parentbc3ac134f6cdbc62a73eb1bcc840c6b7844ddca4
parent87e852fc7189b6deb390784d1741e0120e09045d
Merge pull request #15011 from mhei/php7-update

php7: update to 7.4.16