Merge pull request #10686 from mhei/fix-pecl-krb5
authorRosen Penev <redacted>
Sun, 1 Dec 2019 01:28:35 +0000 (17:28 -0800)
committerGitHub <redacted>
Sun, 1 Dec 2019 01:28:35 +0000 (17:28 -0800)
php7-pecl-krb5: fix build error and runtime loading


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