Commit 1a9d7c95a1aaedffffd07665109663861195b993

Carlos Martín Nieto 2016-02-28T19:43:45

Merge pull request #3644 from ethomson/debug_pool travis ci: enable debug pool for valgrind builds