]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
projects / users / dwmw2 / openconnect.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 07a4dd2 2978256)
Merge branch 'coverity_fixes' into 'master'
authorDimitri Papadopoulos Orfanos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
Thu, 9 Nov 2023 13:05:28 +0000 (13:05 +0000)
committerDimitri Papadopoulos Orfanos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
Thu, 9 Nov 2023 13:05:28 +0000 (13:05 +0000)
Fix assorted Coverity Scan issues

See merge request openconnect/openconnect!502


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.