]> git.proxmox.com Git - libgit2.git/commitdiff
Merge pull request #4167 from pks-t/pks/ci-fixes
authorEdward Thomson <ethomson@edwardthomson.com>
Wed, 22 Mar 2017 20:26:52 +0000 (20:26 +0000)
committerGitHub <noreply@github.com>
Wed, 22 Mar 2017 20:26:52 +0000 (20:26 +0000)
Coverity fixes


Trivial merge