Link fixed. Sorry, the new Launchpad bug tracker for Gnome Shell was broken and inserted bad links for a while.
Link fixed. Sorry, the new Launchpad bug tracker for Gnome Shell was broken and inserted bad links for a while.