Commit 65ac33aeb165a41ebc83836a25b97755d6deee58

Patrick Steinhardt 2020-02-07T11:18:24

Merge pull request #5382 from libgit2/pks/azure-coverity azure: fix Coverity pipeline