Thank you for your bug report, could you maybe report it upstream on https://gitlab.gnome.org/GNOME/gnome-shell/issues ?
Thank you for your bug report, could you maybe report it upstream on https:/ /gitlab. gnome.org/ GNOME/gnome- shell/issues ?