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

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