From: Michael Heimpold <redacted>
Date: Sun, 1 Nov 2020 16:20:05 +0000 (+0100)
Subject: Merge pull request #13822 from mhei/php7-update
X-Git-Url: http://git.99rst.org/?a=commitdiff_plain;h=17eae67cbe3a5e6a4dd00c2cf016e67081f2c749;p=openwrt-packages.git

Merge pull request #13822 from mhei/php7-update

php7: update to 7.4.12
---

17eae67cbe3a5e6a4dd00c2cf016e67081f2c749