3 ms·GNOME 3.7: what is happening now4 points by hendi_ 14y agochris_wot 14y agoYup, another PR disaster. Ho hum. Gnome has lost its way.