Comment 3 for bug 1847712

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

If we need to patch it then the patch is here:

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1070.patch

Though let me know if that needs refreshing.