From: David Woodhouse <dwmw2@infradead.org>
Date: Sun, 27 Jun 2021 14:15:14 +0000 (+0000)
Subject: Merge branch 'server' into 'master'
X-Git-Tag: v8.20~136
X-Git-Url: https://www.infradead.org/git/?a=commitdiff_plain;h=4437587580530d4cdb2aa5d2187c77c6acfd7dec;p=users%2Fdwmw2%2Fopenconnect.git

Merge branch 'server' into 'master'

Add option to read server name from config file

Closes #261 and #171

See merge request openconnect/openconnect!218
---

4437587580530d4cdb2aa5d2187c77c6acfd7dec