Comment 8 for bug 1822846

Daniel van Vugt (vanvugt) wrote :

Unfortunately it seems the fix for this bug landed just hours/days slightly too late to be included in gnome-shell 3.32.0+git20190410