Confirmed this bug is an issue for me in Ubuntu 19.10 as well.
Package: network-manager-openconnect Architecture: amd64 Version: 1.2.4-2ubuntu1
Package: network-manager-openconnect-gnome Version: 1.2.4-2ubuntu1
However perhaps network-manager-openconnect-gnome is deprecated?
Confirmed this bug is an issue for me in Ubuntu 19.10 as well.
Package: network- manager- openconnect
Architecture: amd64
Version: 1.2.4-2ubuntu1
Package: network- manager- openconnect- gnome
Version: 1.2.4-2ubuntu1
However perhaps network- manager- openconnect- gnome is deprecated?