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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org