Merge branch 'php7-update-7.2.0' of https://github.com/pprindeville/packages
authorMichael Heimpold <mhei@heimpold.de>
Thu, 28 Dec 2017 20:44:25 +0000 (21:44 +0100)
committerMichael Heimpold <mhei@heimpold.de>
Thu, 28 Dec 2017 20:44:25 +0000 (21:44 +0100)
into pprindeville-php7-update-7.2.0

Signed-off-by: Michael Heimpold <mhei@heimpold.de>

Trivial merge