diff options
author | Dave Barach <dave@barachs.net> | 2020-05-04 14:47:45 -0400 |
---|---|---|
committer | Damjan Marion <dmarion@me.com> | 2020-05-06 10:24:21 +0000 |
commit | c72950e811880c22e5b350c4b1cb5e31b0735b4d (patch) | |
tree | 27d8263ae8ca9f408b5855527af0e98406900514 /src/plugins | |
parent | 971c5be27996985e40f178c8d540a5807a428283 (diff) |
misc: fix coverity warnings
Type: fix
Ticket: VPP-1837
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I51660e4b02f449bd2db12a8cfd395c6c343d2dee
Diffstat (limited to 'src/plugins')
0 files changed, 0 insertions, 0 deletions