Commit fa274f7f08cc66e9180bc8169b00e2813bfb73d7

Etienne Samson 2018-10-23T22:34:45

ci: redirect the malloc debugging output to /dev/null