Merge branch 'update-php7-pecl-krb5' of git://github.com/mhei/packages into mhei...
authorMichael Heimpold <mhei@heimpold.de>
Wed, 1 Apr 2020 18:50:49 +0000 (20:50 +0200)
committerMichael Heimpold <mhei@heimpold.de>
Wed, 1 Apr 2020 18:50:49 +0000 (20:50 +0200)
commit40494863b2209eb0435fb141c3ca29230239dd32
tree3018b4ace39b8400bdd33b1a709f6cc183f7b95a
parentf56212538c23b1f429de22a00ea75180d703160e
parent28a8afc941ff77fe300f020373d6d6366225328d
Merge branch 'update-php7-pecl-krb5' of git://github.com/mhei/packages into mhei-update-php7-pecl-krb5