Ubuntu
gnome-shell package

  1. Bug #968213
  2. Comment #10

Comment 10 for bug 968213

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

A fix is pending:
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/90

I was in the area, and noticed it was "simple" enough to fix.