Se agrega version 3.12.1 de gnome-shell