]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'GP_split_excludes' of gitlab.com:dlenski/openconnect
authorDavid Woodhouse <dwmw2@infradead.org>
Thu, 10 Jan 2019 22:54:48 +0000 (22:54 +0000)
committerDavid Woodhouse <dwmw2@infradead.org>
Thu, 10 Jan 2019 22:54:48 +0000 (22:54 +0000)

Trivial merge