Hello, apparently 2.31.2 is just around the corner : http://git.gnome.org/browse/gnome-shell/commit/?id=ea3b2a57076e4ced97ebd6a81151720b9921deb7 Might as well wait a bit so we have the very latest :-) Thanks, -- Rémi