]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'bash-completion' of gitlab.com:bluca/openconnect
authorDavid Woodhouse <dwmw2@infradead.org>
Mon, 4 May 2020 12:50:38 +0000 (13:50 +0100)
committerDavid Woodhouse <dwmw2@infradead.org>
Mon, 4 May 2020 12:50:38 +0000 (13:50 +0100)

Trivial merge