]> git.proxmox.com Git - libgit2.git/commitdiff
Merge pull request #3975 from pks-t/pks/ci-improvements
authorCarlos Martín Nieto <carlosmn@github.com>
Tue, 1 Nov 2016 08:59:17 +0000 (09:59 +0100)
committerGitHub <noreply@github.com>
Tue, 1 Nov 2016 08:59:17 +0000 (09:59 +0100)
CI Improvements


Trivial merge