]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'include' of gitlab.com:DimitriPapadopoulos/openconnect
authorDavid Woodhouse <dwmw2@infradead.org>
Mon, 28 Jun 2021 15:39:06 +0000 (16:39 +0100)
committerDavid Woodhouse <dwmw2@infradead.org>
Mon, 28 Jun 2021 15:39:06 +0000 (16:39 +0100)

Trivial merge