]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'deepsource' into 'master'
authorDaniel Lenski <dlenski@gmail.com>
Fri, 24 Sep 2021 21:07:59 +0000 (21:07 +0000)
committerDaniel Lenski <dlenski@gmail.com>
Fri, 24 Sep 2021 21:07:59 +0000 (21:07 +0000)
Fix DeepSource alerts

See merge request openconnect/openconnect!284


Trivial merge