]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'master' of git.infradead.org:public_git/openconnect
authorDavid Woodhouse <dwmw2@infradead.org>
Wed, 13 May 2020 17:50:26 +0000 (18:50 +0100)
committerDavid Woodhouse <dwmw2@infradead.org>
Wed, 13 May 2020 17:50:26 +0000 (18:50 +0100)

Trivial merge