5ce991749d
Fixes cd33baff7d285af26475777fab1f59537c517cb5 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3197>