Comment 12 for bug 1917939

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

Turns out I wrote a new fix for this bug by accident, proposed in https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1785