php7: update to 7.1.12
authorMichael Heimpold <redacted>
Sat, 25 Nov 2017 12:08:50 +0000 (13:08 +0100)
committerMichael Heimpold <redacted>
Sat, 25 Nov 2017 12:08:50 +0000 (13:08 +0100)
commit9e24f18a5a492da2f4796281d5cbcd90defac5b9
tree4b1fff32240674c36942ad30bdbb16a30045ba67
parent020807de9bd20143cf5392732759dbf64d7c84b5
php7: update to 7.1.12

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