Merge branch 'update-php7-pecl-krb5' of git://github.com/mhei/packages into mhei...
authorMichael Heimpold <mhei@heimpold.de>
Wed, 1 Apr 2020 18:50:49 +0000 (20:50 +0200)
committerMichael Heimpold <mhei@heimpold.de>
Wed, 1 Apr 2020 18:50:49 +0000 (20:50 +0200)

Trivial merge