@alpacaherder GNOME Shell 3.12 is in Ubuntu GNOME beta 1. They are going to remove it again?
https://wiki.ubuntu.com/UtopicUnicorn/Beta1/UbuntuGNOME