diff options
author | Dave Barach <dave@barachs.net> | 2021-06-21 10:31:35 -0400 |
---|---|---|
committer | Dave Wallace <dwallacelf@gmail.com> | 2021-06-21 18:23:08 +0000 |
commit | bfb9a66fab43e935772806e9d2f6b0ecf7146d67 (patch) | |
tree | 26adafa13cd8dd3d6581bdd5a56df2a2dfa5983a /.gitreview | |
parent | d4721b2152b245558f5753a60d909b5b233af493 (diff) |
vlib: fix coverity warning
Type: fix
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: Ib563e2c09d46cc26fb983ffde3d5fcb88166f6a5
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions