php7: update to 7.2.3
authorMichael Heimpold <mhei@heimpold.de>
Sun, 4 Mar 2018 13:02:57 +0000 (14:02 +0100)
committerMichael Heimpold <mhei@heimpold.de>
Sun, 4 Mar 2018 13:21:46 +0000 (14:21 +0100)
commit7ffa1641d8957fc1ea8e63e885ec867c5b07a7e5
treeeffc3b702771a0d71f40b4a5212de5823b985db2
parente0e6e5229db61bb9cd31305feb6796b7fbf69246
php7: update to 7.2.3

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