I see. This is probably because the GNOME 3 team currently has an older version of network manager in their PPA, and hasn't upgraded it yet.
I see. This is probably because the GNOME 3 team currently has an older version of network manager in their PPA, and hasn't upgraded it yet.