]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
projects / users / dwmw2 / openconnect.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: f5fe88c a2fd6f4)
Merge branch 'server' into 'master'
authorDavid Woodhouse <dwmw2@infradead.org>
Sun, 27 Jun 2021 14:15:14 +0000 (14:15 +0000)
committerDavid Woodhouse <dwmw2@infradead.org>
Sun, 27 Jun 2021 14:15:14 +0000 (14:15 +0000)
Add option to read server name from config file

Closes #261 and #171

See merge request openconnect/openconnect!218


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.