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>
Sun, 14 Apr 2019 04:53:12 +0000 (06:53 +0200)
commit71d3f6aa8c73b55f3a4e8d331e61296f1eed368d
tree02c8b55bb56c70c42c99b813764980f7e5df05e8
parent306f06f11d89c23b0f7132689259ba959f200e5f
php7: update to 7.2.17

Signed-off-by: Michael Heimpold <mhei@heimpold.de>
lang/php7/Makefile