php7: update to 7.2.17
authorMichael Heimpold <mhei@heimpold.de>
Sat, 13 Apr 2019 21:53:21 +0000 (23:53 +0200)
committerMichael Heimpold <mhei@heimpold.de>
Fri, 21 Jun 2019 04:52:30 +0000 (06:52 +0200)
commit53742f130cf1f3e943f315e08e0c859ebe0a4cfd
tree504802d0d814fa22b509732b68f7217c1ee8a0d0
parent81a8e5904235f561c59f6a4596776e09c756178d
php7: update to 7.2.17

Signed-off-by: Michael Heimpold <mhei@heimpold.de>
(cherry picked from commit 71d3f6aa8c73b55f3a4e8d331e61296f1eed368d)
lang/php7/Makefile