Ubuntu
gnome-shell package

  1. Bug #1814125
  2. Comment #97

Comment 97 for bug 1814125

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

The fix in comment 81 sounds the same as what this does:
https://gitlab.gnome.org/GNOME/mutter/merge_requests/281