]> git.proxmox.com Git - libgit2.git/commitdiff
Merge pull request #3644 from ethomson/debug_pool
authorCarlos Martín Nieto <carlosmn@github.com>
Sun, 28 Feb 2016 18:43:45 +0000 (19:43 +0100)
committerCarlos Martín Nieto <carlosmn@github.com>
Sun, 28 Feb 2016 18:43:45 +0000 (19:43 +0100)
travis ci: enable debug pool for valgrind builds


Trivial merge