diff options
author | Dave Barach <dave@barachs.net> | 2018-10-23 18:05:25 -0400 |
---|---|---|
committer | Florin Coras <florin.coras@gmail.com> | 2018-10-23 23:41:01 +0000 |
commit | 5a951bfe32d47af4409ecab5678d1afecc05e2b7 (patch) | |
tree | 97e127d2db9bf94a9ed374322d859b980c7c2d17 /src/vnet/geneve | |
parent | 8e8d3c8c118a9411b1f8959a0aa545fd7bff5406 (diff) |
VPP-1474: fix coverity warning
Change-Id: I20f2fb14e00f3e7e96774959a4bf1a159ab9030f
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'src/vnet/geneve')
0 files changed, 0 insertions, 0 deletions