Merge pull request #6134 from MikePetullo/php7-pecl-krb5
authorMichael Heimpold <mhei@heimpold.de>
Sun, 27 May 2018 12:07:49 +0000 (14:07 +0200)
committerGitHub <noreply@github.com>
Sun, 27 May 2018 12:07:49 +0000 (14:07 +0200)
commit68f1d3555af37c6d67be4f0d50d6b57e993ab63e
treec1af357880abc6bbeced2055d1df7d7f3ba41052
parentf5a0e3bcacf6924ec80aec23e5b79ca4f05d36c0
parentc27403d8f85568a4266068f2196e58b1d99dae52
Merge pull request #6134 from MikePetullo/php7-pecl-krb5

php7-pecl-krb5: add new package