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 /.github | |
| parent | ed1f9adad793d327bc0245e14088ea8e50e54f26 (diff) | |
session: fix coverity warning
Type: fix
Signed-off-by: Florin Coras <fcoras@cisco.com>
Change-Id: I67f5a2c8902dd14c09472c25599b3b1b493a6948
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions