Ubuntu
gnome-shell-extensions package

  1. Bug #1284856
  2. Comment #6

Comment 6 for bug 1284856

Revision history for this message
sgon00 (sgon00) wrote :

I have the same problem. Ubuntu Gnome 14.04 Trusty (amd64), apt-get dist-upgrade at 2014-03-06.