Ubuntu
gnome-shell package

  1. Bug #1690719
  2. Comment #24

Comment 24 for bug 1690719

Revision history for this message
In , Jasper St. Pierre (jstpierre) wrote :

Do you use any extensions?