0795d8df5f
This was left out in 988a0e7314018 https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/891
This was left out in 988a0e7314018 https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/891