Ubuntu
gnome-shell package

  1. Bug #1972150
  2. Comment #12

Comment 12 for bug 1972150

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

A new bug for that might make sense, although only really if bug 1882353 was declared fixed and your secondary issue remained. So maybe don't create a new bug just yet.