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 /gmod/configure.ac | |
| 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 'gmod/configure.ac')
0 files changed, 0 insertions, 0 deletions