Ubuntu
gnome-shell package

  1. Bug #1690719
  2. Comment #140

Comment 140 for bug 1690719

Revision history for this message
In , Daniel van Vugt (vanvugt) wrote :

A fix is now up for review here:
https://gitlab.gnome.org/GNOME/mutter/merge_requests/168

Also the Ubuntu bug for this issue is:
https://launchpad.net/bugs/1690719