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)
commit3106c76aa65fe9bd5bbaf3636e0e91bff898a5e1
tree0f53cfd96f0c70038a733091276a62ddbd99718a
parenta0d0ea53390562acdd46cc8bfab82771f3e380f8
parentdc137819dea2ccb36eac86b4253e205daa4c14f0
Merge pull request #10686 from mhei/fix-pecl-krb5

php7-pecl-krb5: fix build error and runtime loading