bug#37135: GNOME+Wayland: mouse pointer disappears over gnome-shell elements

[Mark H Weaver]

This problem appears to be fixed with the recent GNOME updates, so I'm
closing this bug.

      Mark