Merge branch 'mhei-update-php7-pecl-krb5'
authorMichael Heimpold <mhei@heimpold.de>
Wed, 1 Apr 2020 18:51:12 +0000 (20:51 +0200)
committerMichael Heimpold <mhei@heimpold.de>
Wed, 1 Apr 2020 18:51:12 +0000 (20:51 +0200)
commit6761e3c3e179e1ab39248fcb7bf8634b8ec6b495
tree3018b4ace39b8400bdd33b1a709f6cc183f7b95a
parentf56212538c23b1f429de22a00ea75180d703160e
parent40494863b2209eb0435fb141c3ca29230239dd32
Merge branch 'mhei-update-php7-pecl-krb5'