summaryrefslogtreecommitdiffstats
path: root/.gitreview
diff options
context:
space:
mode:
authorOle Troan <ot@cisco.com>2017-03-09 21:10:45 +0100
committerDave Barach <openvpp@barachs.net>2017-03-17 20:36:55 +0000
commitad0697a134926c8d9cff8ae2747c4c554811c9db (patch)
treecfd8d97309f3df9e2251c9febf883dd89d49464e /.gitreview
parented812458641e8805e98a5bb399248745bae5d6b7 (diff)
PNEUM: Fix Coverity error (missing unlock).
Change-Id: I53433e89d06fbc95e160887517acafc1544e81b5 Signed-off-by: Ole Troan <ot@cisco.com>
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions