[14:32] <butututu> hey, does anyone know if Gnome 3.12 is coming to Gnome 3 Team PPA (and when)?