diff options
author | Dave Barach <dave@barachs.net> | 2020-02-11 10:29:13 -0500 |
---|---|---|
committer | Damjan Marion <dmarion@me.com> | 2020-02-11 23:11:58 +0000 |
commit | a6ef36b2c25de47824a1b45e147ab2fbf67c3a33 (patch) | |
tree | 01f29603e11b22763a1a539db10975171ad29f00 /docs | |
parent | 44476c6b271bdebb7458590398b5f140c9a7d353 (diff) |
misc: fix coverity warnings
Type: fix
Ticket: VPP-1837
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I6b1ea13fc83460bf4ee75cb9249d83dddaa64ded
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions