diff options
author | 2020-10-07 09:37:36 -0400 | |
---|---|---|
committer | 2020-10-08 06:10:16 +0000 | |
commit | 27c35e30569c3904e977e7f841b8bc56f16aeb9f (patch) | |
tree | 4f37824acc98769d14f6a4c6e6c613deed5b5f0e /gmod | |
parent | 6e366be38ff4f71d4ad5a24929519dc3c874ed36 (diff) |
vppinfra: fix coverity warnings
Type: fix
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I654747d618cc4fe99b7774827303769fe43392ed
Diffstat (limited to 'gmod')
0 files changed, 0 insertions, 0 deletions