]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'vpninfo-port' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Sat, 14 Nov 2020 19:51:59 +0000 (19:51 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Sat, 14 Nov 2020 19:51:59 +0000 (19:51 +0000)
setup default port 443 in openconnect_vpninfo_new

See merge request openconnect/openconnect!141


Trivial merge