Ubuntu
gnome-shell package

  1. Bug #1044408
  2. Comment #11

Comment 11 for bug 1044408

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

No, there's no need to open a new bug report. This bug is marked "fix released" for the current development release, 13.04 "Raring" but still open and "triaged" for Ubuntu 12.10 "Quantal".