Ubuntu GNOME

  1. Bug #1319897
  2. Comment #11

Comment 11 for bug 1319897

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

Upstream says this is a duplicate of https://bugzilla.gnome.org/show_bug.cgi?id=725637, which was fixed in 3.13.1 with the following two commits:
- https://github.com/GNOME/mutter/commit/01cd4b2ba02a729dcbcc06afa3aec315bc70ef2f
- https://github.com/GNOME/mutter/commit/2ca2c18c2adf23d7a5a215822255e17a1f49b0cd