php7: update to 7.1.1
authorMichael Heimpold <mhei@heimpold.de>
Tue, 24 Jan 2017 20:39:59 +0000 (21:39 +0100)
committerJo-Philipp Wich <jo@mein.io>
Sun, 5 Feb 2017 18:59:20 +0000 (19:59 +0100)
commitf225a42320dcaab72dda21a4be47e75b1c92abc4
tree4b508b05ed6aa99b9e84e2cf2ba700438d8cf44d
parentc51423342d6e3660ed2f3dffe5feb01fcd7d0efa
php7: update to 7.1.1

Signed-off-by: Michael Heimpold <mhei@heimpold.de>
lang/php7/Makefile
lang/php7/patches/0041-Add-patch-to-remove-build-timestamps-from-generated-.patch