Just a note that this bug is believed to break the workspaces feature in GNOME Shell as reported in bug 853582.
Just a note that this bug is believed to break the workspaces feature in GNOME Shell as reported in bug 853582.