diff options
author | 2020-03-26 10:56:13 -0400 | |
---|---|---|
committer | 2020-08-13 10:39:40 +0000 | |
commit | 08c6ea544f5b4991c63578c4a8fde434bd000cb3 (patch) | |
tree | 60a3cb76c83edec3ac6c5d34a34908b9849a121e /INFO.yaml | |
parent | deafa737313aed72338c030d311d2def3d269b7d (diff) |
session: fix coverity warning
Type: fix
Ticket: VPP-1837
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: Ib5da600b7a40f775de7dc5b9aaa8d967e49e8632
(cherry picked from commit 4897d77c6d4d5d04eb7e02bda57dc6c7005a609f)
Diffstat (limited to 'INFO.yaml')
0 files changed, 0 insertions, 0 deletions