php7: update to 7.2.12
authorMichael Heimpold <redacted>
Sun, 11 Nov 2018 19:48:21 +0000 (20:48 +0100)
committerMichael Heimpold <redacted>
Thu, 15 Nov 2018 22:22:16 +0000 (23:22 +0100)
commit2186fe821da70c84b74aad364515b73cc30c75f8
tree6e836492ead40f37d310b1c5a03d08f5ad138ed1
parent45917f59dce5c52a6422281031767776fcfc8ec9
php7: update to 7.2.12

Signed-off-by: Michael Heimpold <redacted>
lang/php7/Makefile
git clone https://git.99rst.org/PROJECT