Just a heads up: the cogl and clutter 1.9.4 releases that have inadvertently been pushed into rawhide yesterday contain api changes that break gnome-shell - until we get a gnome-shell release that fixes that, it would be advisable to steer clear of those updates. Matthias