Comment 3 for bug 1868207

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

There isn't. And bisecting between gnome-shell and mutter is hard because they frequently break each other's dependencies as well as dependencies on other projects.

So do it at your own risk, but there are no instructions or scripts for that right now.