We need to keep a gnome-shell task, even temporarily, so that people and robots alike can find this bug and avoid logging duplicates against gnome-shell.
We need to keep a gnome-shell task, even temporarily, so that people and robots alike can find this bug and avoid logging duplicates against gnome-shell.