php7: update to 7.2.7
authorMichael Heimpold <mhei@heimpold.de>
Mon, 2 Jul 2018 20:42:26 +0000 (22:42 +0200)
committerMichael Heimpold <mhei@heimpold.de>
Sat, 21 Jul 2018 21:42:08 +0000 (23:42 +0200)
commitcdf150d0cae99938efecea29f19a6a508434ef29
tree663f2618c9c504d55d42910aa491b280859c287a
parent81332c47658b3c28d20a23769ef4be501e6982ee
php7: update to 7.2.7

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