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
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: /github. com/GNOME/ mutter/ commit/ 01cd4b2ba02a729 dcbcc06afa3aec3 15bc70ef2f /github. com/GNOME/ mutter/ commit/ 2ca2c18c2adf23d 7a5a215822255e1 7a1f49b0cd
- https:/
- https:/