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

Signed-off-by: Michael Heimpold <redacted>

Trivial merge
git clone https://git.99rst.org/PROJECT