diff options
author | Florin Coras <fcoras@cisco.com> | 2020-03-06 02:25:09 +0000 |
---|---|---|
committer | Dave Barach <openvpp@barachs.net> | 2020-03-06 15:09:40 +0000 |
commit | d8da60d05c1669bfaf1f5c1a88b82673d816438c (patch) | |
tree | 1add69a552fa7b9d95cece50da96b77e16bbaf0b /extras/scripts/coverity-build | |
parent | 243edd5ffe5cb62be5fe806a33026a7bdfca499f (diff) |
session: fix session reschedule condition
Type: fix
Signed-off-by: Florin Coras <fcoras@cisco.com>
Change-Id: I01441e958517e31260e67c8caea5f75d684b2711
Diffstat (limited to 'extras/scripts/coverity-build')
0 files changed, 0 insertions, 0 deletions