diff options
author | Dave Barach <dave@barachs.net> | 2020-05-08 08:16:06 -0400 |
---|---|---|
committer | Florin Coras <florin.coras@gmail.com> | 2020-05-08 14:35:33 +0000 |
commit | 13f64ce2272539d97b8c499e8e298a053fb3c9e2 (patch) | |
tree | bdc8faaf10f61f78c81faab135198c31cd171030 /extras/gdb | |
parent | c5c788bfa1984071d5721d378b838d029fc7b680 (diff) |
ethernet: fix coverity warning
Type: fix
Ticket: VPP-1837
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I20daa023eed50f8b42e8dc2d17e47a54aa16ae31
Diffstat (limited to 'extras/gdb')
0 files changed, 0 insertions, 0 deletions