Commit 586da0db4852da37a40b5c5014a4569613c3cf50

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

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