php7: update to 7.1.3
authorMichael Heimpold <mhei@heimpold.de>
Mon, 20 Mar 2017 20:34:37 +0000 (21:34 +0100)
committerMichael Heimpold <mhei@heimpold.de>
Mon, 20 Mar 2017 20:34:37 +0000 (21:34 +0100)
commit1fa7ca0f4849387c298015bb2e1951eed3248799
tree52e8231e08c5ff340342d0bebb62c3ebdf62039f
parent5d7b2b20b86f41716cac6111a2f5d1ef1ff44fd0
php7: update to 7.1.3

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