1.773

• DNS servers set by openconnect often remain after disconnecting. Try to restore them in a more generic way, using

networksetup -setdnsservers "Wi-Fi" Empty

Still there might be some more aggressive cleanup to do when you restart your system and openconnect fails cleaning up. I will handle that in a follow-up release.