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


Trivial merge