php7: update to 7.2.10
authorMichael Heimpold <mhei@heimpold.de>
Sun, 23 Sep 2018 19:35:04 +0000 (21:35 +0200)
committerMichael Heimpold <mhei@heimpold.de>
Sun, 23 Sep 2018 19:35:11 +0000 (21:35 +0200)
commitc69af6717cc28f946284a729c4c2b8954eede673
tree9a5ca7dd12c20d8577a12b99712e7be1a8393cf9
parent5757a045b280fc25bbf3ce66e4d1450f72f608f5
php7: update to 7.2.10

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