diff options
author | Dave Barach <dave@barachs.net> | 2020-03-10 07:13:20 -0400 |
---|---|---|
committer | Andrew Yourtchenko <ayourtch@gmail.com> | 2020-08-13 08:12:25 +0000 |
commit | 69f3a473bc6a44aad00657aea041f7cec8cad9ae (patch) | |
tree | e46f02fdbd192ec521b923843e3cec76c6742f13 /src/examples/sample-plugin | |
parent | 458ab69af324086c9d75e5564a7f43f7a8a867c4 (diff) |
lb: fix coverity warning
Type: fix
Ticket: VPP-1837
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I357eb72d478d8175ab9c7cf502d312ab3112213e
(cherry picked from commit a53068905eb3f005a5a6d324c37f51056fb49b3e)
Diffstat (limited to 'src/examples/sample-plugin')
0 files changed, 0 insertions, 0 deletions