That would be even better, but as far as I understand also requires a new version of openconnect itself. Personally I'd be happy with just the hard-coded solution, as it solves the immediate problem of the VPN not being usable at all, but if the full work could be done for 20.04 that would be of course much better.
** Bug watch added: Debian Bug tracker #925081 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=925081 ** Also affects: network-manager-openconnect via https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=925081 Importance: Unknown Status: Unknown -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1857624 Title: Option Protocol gp (Palo Alto GlobalProtect) missing on GUI To manage notifications about this bug go to: https://bugs.launchpad.net/network-manager-openconnect/+bug/1857624/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
