]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'bugfix_MR_143' into 'master'
authorDaniel Lenski <dlenski@gmail.com>
Tue, 1 Dec 2020 16:41:21 +0000 (16:41 +0000)
committerDaniel Lenski <dlenski@gmail.com>
Tue, 1 Dec 2020 16:41:21 +0000 (16:41 +0000)
bugfix for !143

See merge request openconnect/openconnect!153


Trivial merge