tree 9809a55233020170408eb4b4e420c00922350d14
parent 759d47ae3ddc063cd4837b9f856ae82e0a52acb5
author Davide Pesavento <davidepesa@gmail.com> 1553063031 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1553063031 -0400

ci: enable LeakSanitizer

Change-Id: I916da6506be81c44a8708923d4f7660d26863e37