diff options
author | Dave Barach <dave@barachs.net> | 2020-02-14 07:32:54 -0500 |
---|---|---|
committer | Dave Barach <openvpp@barachs.net> | 2020-02-14 14:28:28 +0000 |
commit | a357a938019c8df2b061cc5bd14cd8a64fac694f (patch) | |
tree | fb32cc1a3e8030ae36d9d23998e0dcb87c5f3a9d /LICENSE | |
parent | ac8bb9263438221cc93db62257ffd8db711530e2 (diff) |
vrrp dns: fix coverity warnings
Type: fix
Ticket: VPP-1837
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I0d164147173b452fee7e720e01e6a9991f43b64a
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions