Merge pull request #6134 from MikePetullo/php7-pecl-krb5
authorMichael Heimpold <redacted>
Sun, 27 May 2018 12:07:49 +0000 (14:07 +0200)
committerGitHub <redacted>
Sun, 27 May 2018 12:07:49 +0000 (14:07 +0200)
php7-pecl-krb5: add new package


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