Comment 12 for bug 2040453

I tested this with the very small patch indicated in #1 and it worked.

I did
"apt-src install mutter"
applied the patch.txt file with "patch -p1 < patch.txt"
"apt-src build mutter"
it fails all the tests but apparently this is expected, so i just went into the obj directory and did "sudo ninja install" and it replaced all the versions from the original .deb package. I logged out and back in, and then I was able to restart gnome-shell (alt+f2 and r) while I still had windows open.

Their discussions about this issue seem to have gotten bogged down in minutiae of what other bugs are related, does some other bigger patch fix those bugs, no one tested it, etc. So I think it might be a good idea to carry this small patch for now, and hopefully by the time it starts conflicting it will no longer be necessary because it will be fixed some other way. :)