diff options
author | Florin Coras <fcoras@cisco.com> | 2022-04-26 19:32:11 -0700 |
---|---|---|
committer | Dave Barach <openvpp@barachs.net> | 2022-04-28 14:09:15 +0000 |
commit | 975e0dfe166cd19c883c1bf67514f23314804c9d (patch) | |
tree | bf6cdc911189ba9123057cc5f0ec428fb10b6af4 /docs/developer/plugindoc | |
parent | ed1f9adad793d327bc0245e14088ea8e50e54f26 (diff) |
session: fix coverity warning
Type: fix
Signed-off-by: Florin Coras <fcoras@cisco.com>
Change-Id: I67f5a2c8902dd14c09472c25599b3b1b493a6948
Diffstat (limited to 'docs/developer/plugindoc')
0 files changed, 0 insertions, 0 deletions