Commit 534b70af27449866229b73dc743774c68067846e

Patrick Steinhardt 2018-06-07T12:30:59

Merge pull request #4558 from tiennou/travis/war-on-leaks travis: war on leaks