Merge pull request #13221 from yousong/oc
authorNikos Mavrogiannopoulos <n.mavrogiannopoulos@gmail.com>
Sun, 30 Aug 2020 11:29:29 +0000 (13:29 +0200)
committerGitHub <noreply@github.com>
Sun, 30 Aug 2020 11:29:29 +0000 (13:29 +0200)
openconnect: allow disable dtls with bool option no_dtls


Trivial merge