tree a7c600bfb11f58eb59f32ba19b3bec1ee8add24c
parent 5188f31d501ada82022e14496529b82c97190e0f
author Davide Pesavento <davidepesa@gmail.com> 1553058480 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1553058480 -0400

ci: enable LeakSanitizer

Change-Id: If9472204a11cef3e4b4e743ac08d7a0ecf173ef6