Comment 10 for bug 1928932

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

It's worth a try. Just open a new issue at:

  https://gitlab.gnome.org/GNOME/mutter/issues

And then tell us the new issue ID.