Ubuntu GNOME

  1. Bug #1272392
  2. Comment #2

Comment 2 for bug 1272392

Revision history for this message
Marius Gedminas (mgedmin) wrote :

(For the record this is fixed for saucy: the gnome3-team/gnome3 PPA now has mutter 3.10.4, while stock saucy has 3.8 that wasn't affected.)