diff options
author | 2020-10-08 16:04:30 -0400 | |
---|---|---|
committer | 2020-10-08 16:05:01 -0400 | |
commit | 1046b1a631fd4153bca09b8924e34206ab3cf0ee (patch) | |
tree | e813171cce05e40bd825faccb6c930a277ec7e59 /src/vppinfra/sanitizer.h | |
parent | 0e12131f8bf519fb301d4a2e34c3e0a4944da796 (diff) |
vppinfra: memory leak be gone
Type: fix
Fixes: ab1a50cf7407e31097b550226c2b6954d6371bea / gerrit 29272
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: Ic8146a66b54bb9ac6223cf984d4566554b73276d
Diffstat (limited to 'src/vppinfra/sanitizer.h')
0 files changed, 0 insertions, 0 deletions