Hello, As gnome 3.2 will be available on october ( and in mageia 2 ) we will start to update now to gnome 3.1 to be able to report as many issues as possible upstream.