Merge pull request #10208 from dengqf6/oc
authorNikos Mavrogiannopoulos <n.mavrogiannopoulos@gmail.com>
Sun, 13 Oct 2019 06:06:10 +0000 (08:06 +0200)
committerGitHub <noreply@github.com>
Sun, 13 Oct 2019 06:06:10 +0000 (08:06 +0200)
openconnect: update to 8.05


Trivial merge