Ubuntu
gnome-shell package

  1. Bug #1812527
  2. Comment #60

Comment 60 for bug 1812527

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

Thanks. I was going to backport and patch it today, but having it done while I sleep is good too.