Merge branch 'mhei-update-php7-pecl-krb5'
authorMichael Heimpold <mhei@heimpold.de>
Wed, 1 Apr 2020 18:51:12 +0000 (20:51 +0200)
committerMichael Heimpold <mhei@heimpold.de>
Wed, 1 Apr 2020 18:51:12 +0000 (20:51 +0200)

Trivial merge