Merge pull request #5076 from non7top/juniper
authorNikos Mavrogiannopoulos <n.mavrogiannopoulos@gmail.com>
Mon, 20 Nov 2017 12:11:06 +0000 (13:11 +0100)
committerGitHub <noreply@github.com>
Mon, 20 Nov 2017 12:11:06 +0000 (13:11 +0100)
openconnect: add options to support juniper


Trivial merge