Ubuntu
gnome-shell package

  1. Bug #1045914
  2. Comment #33

Comment 33 for bug 1045914

Revision history for this message
Jeremy Bícha (jbicha) wrote :

And uploaded to the GNOME3 PPA, which is the best we'll be able to do for Ubuntu 12.10.