FWIW, still broken on 14.04, the workaround of manually fiddling with the NetworkManager config still helps.
FWIW, still broken on 14.04, the workaround of manually fiddling with the NetworkManager config still helps.