Confirmed, the default changed to super-space in gnome-settings-daemon 3.8 ... we might want to go back to use alt-shift by default though
Confirmed, the default changed to super-space in gnome-settings- daemon 3.8 ... we might want to go back to use alt-shift by default though