diff options
author | Dave Barach <dave@barachs.net> | 2017-12-13 11:43:13 -0500 |
---|---|---|
committer | Damjan Marion <dmarion.lists@gmail.com> | 2017-12-14 09:51:49 +0000 |
commit | 545d9eaeff62af74b6c1d2c27e6067f40685af93 (patch) | |
tree | 90ca2e1137e96bbbe45f219db1c2e9d817998612 /src/vnet/vxlan-gpe | |
parent | 2f5eb0afa0893e94ed0115896d274de6f48cb93c (diff) |
VPP-1032: clean up coverity warnings.
"This time, for sure..."
Change-Id: Ie981003842d37c5eb6a0b2fe3abe974a93b86df8
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'src/vnet/vxlan-gpe')
0 files changed, 0 insertions, 0 deletions