Thank you for your bug report. Could you report the bug also upstream on https://gitlab.gnome.org/GNOME/gnome-shell/issues ?
Thank you for your bug report. Could you report the bug also upstream on https:/ /gitlab. gnome.org/ GNOME/gnome- shell/issues ?