Ubuntu
gnome-shell package

  1. Bug #1759760
  2. Comment #5

Comment 5 for bug 1759760

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

Thanks.

Next step: Please report the bug upstream here:

  https://gitlab.gnome.org/GNOME/gnome-shell/issues

And then tell use the ID of the new bug.