Merge pull request #10688 from neheb/ope
authorRosen Penev <rosenp@gmail.com>
Mon, 2 Dec 2019 00:51:29 +0000 (16:51 -0800)
committerGitHub <noreply@github.com>
Mon, 2 Dec 2019 00:51:29 +0000 (16:51 -0800)
openconnect: Switch to HTTPS for the source URL


Trivial merge