Ubuntu
gnome-shell package

  1. Bug #1690719
  2. Comment #8

Comment 8 for bug 1690719

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

I actually haven't had any trouble with this bug in a long time. So for me the only verification required would be to see the patch is present.