Commit 7c6864576dfccf7ab77bfbdebb874ecf0dfc36ce

Patrick Steinhardt 2018-10-12T12:07:09

ci: valgrind leak-checking (cherry picked from commit 6d6700d23860d21e8e5043e5c7689a6ed4d8fc70)