]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'master' of gitlab.com:dlenski/openconnect
authorDavid Woodhouse <dwmw2@infradead.org>
Thu, 9 Aug 2018 10:17:53 +0000 (11:17 +0100)
committerDavid Woodhouse <dwmw2@infradead.org>
Thu, 9 Aug 2018 10:17:53 +0000 (11:17 +0100)

Trivial merge