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

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