Ubuntu
gnome-shell package

  1. Bug #1814125
  2. Comment #124

Comment 124 for bug 1814125

Revision history for this message
In , Marco Trevisan (Treviño) (3v1n0) wrote :

Closed via https://gitlab.gnome.org/GNOME/mutter/merge_requests/363