Ubuntu
gnome-shell package

  1. Bug #1743183
  2. Comment #7

Comment 7 for bug 1743183

Revision history for this message
Enigma (enigma0) wrote :

Well... It doesn't sound like it's fixed & certainly not invalid.

If it still doesn't work when using updated versions of packages available in those PPA's, it's not really fixed.

Is there a way to mark it as duplicate instead?