Merge pull request #13957 from flyn-org/php7-pecl-krb5
authorRosen Penev <rosenp@gmail.com>
Thu, 19 Nov 2020 20:59:23 +0000 (12:59 -0800)
committerGitHub <noreply@github.com>
Thu, 19 Nov 2020 20:59:23 +0000 (12:59 -0800)
php7-pecl-krb5: update to 1.1.4


Trivial merge