Ubuntu
mutter package

  1. Bug #1703668
  2. Comment #10

Comment 10 for bug 1703668

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

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.