Ubuntu
gnome-shell package

  1. Bug #881660
  2. Comment #16

Comment 16 for bug 881660

Revision history for this message
Thomas Hood (jdthood) wrote :

@Mathieu: What's the status of this? The RedHat bug report has status Fixed as of February 2012. Is this also fixed in Ubuntu?

Can anyone reproduce this in Ubuntu 12.04?