Ubuntu
gnome-shell package

  1. Bug #1964545
  2. Comment #8

Comment 8 for bug 1964545

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

I should have removed that comment because the code change is not what I thought. Not related to this.