Merge pull request #9733 from dengqf6/oc
authorRosen Penev <rosenp@gmail.com>
Fri, 23 Aug 2019 00:57:39 +0000 (17:57 -0700)
committerGitHub <noreply@github.com>
Fri, 23 Aug 2019 00:57:39 +0000 (17:57 -0700)
openconnect: update to 8.04


Trivial merge