So what about Gnome 2.12?