Per last comment of gnome-shell issue #135, the fix is merged at https://gitlab.gnome.org/GNOME/mutter/merge_requests/146
Per last comment of gnome-shell issue #135, the fix is merged at https:/ /gitlab. gnome.org/ GNOME/mutter/ merge_requests/ 146