diff options
author | Dave Barach <dave@barachs.net> | 2020-08-03 16:42:03 +0000 |
---|---|---|
committer | Andrew Yourtchenko <ayourtch@gmail.com> | 2020-08-20 09:53:29 +0000 |
commit | a4a6ce66f5d2aa15a9ec0b33b9e6c87dc3120566 (patch) | |
tree | 58743d0082c24cdc2581aa8ab94b8a10c542e83d /extras/scripts/coverity-blame | |
parent | cfd710d2fc19ccb9f0c7a341e453e73a89cc8f64 (diff) |
dns: fix coverity warnings
Type: fix
Ticket: VPP-1837
Partial cherry-pick from a357a938019c8df2b061cc5bd14cd8a64fac694f
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I0d164147173b452fee7e720e01e6a9991f43b64a
Diffstat (limited to 'extras/scripts/coverity-blame')
0 files changed, 0 insertions, 0 deletions