]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'ci' into 'master'
authorDaniel Lenski <dlenski@gmail.com>
Tue, 3 Aug 2021 19:12:57 +0000 (19:12 +0000)
committerDaniel Lenski <dlenski@gmail.com>
Tue, 3 Aug 2021 19:12:57 +0000 (19:12 +0000)
Get CI passing again

See merge request openconnect/openconnect!263


Trivial merge