Ubuntu
gnome-shell package

  1. Bug #617802
  2. Comment #3

Comment 3 for bug 617802

Revision history for this message
Harry (harry33) wrote :

A newer gnome-shell_2.31.5-2ubuntu1 has been released.
That one has its issues but it is installable and works anyway.
So this bug has been fixed.