Processed: Re: Bug#765460: gnome-shell-extensions: apps-menu extension not working after upgrade to 3.14

Processing control commands: tag -1 + patch Bug #765460 [gnome-shell-extensions] gnome-shell-extensions: apps-menu extension not working after upgrade to 3.14 Added tag(s) patch. -- 765460: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=765460 Debian Bug Tracking System Contact

Bug#765460: gnome-shell-extensions: apps-menu extension not working after upgrade to 3.14

Control: tag -1 + patch Hi, ricky wrote (15 Oct 2014 10:13:17 GMT) : I understood that the extension did not work because the GMenu package was missing. As soon as I installed the following package: # apt-get install gir1.2-gmenu-3.0 The shell loaded the extension correctly. I suppose