Merge proposals

network-manager-openconnect in Ubuntu has no merge proposals.