diff options
author | Florin Coras <fcoras@cisco.com> | 2022-03-31 07:57:47 -0700 |
---|---|---|
committer | Damjan Marion <dmarion@me.com> | 2022-03-31 15:43:54 +0000 |
commit | 8f60318aca8f1df267f1b9069bc9697e9c4b65b0 (patch) | |
tree | d4f46a5526830a897b5789e447052c14ade458c8 /.github | |
parent | d04ea4443ffedcb3f07bb0accfdbf2da2b8911f4 (diff) |
session: fix coverity warning
Type: fix
Signed-off-by: Florin Coras <fcoras@cisco.com>
Change-Id: I6ddb172d7b4f0ba06b0117d71853a22702a3466b
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions