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

[ricky]

Package: gnome-shell-extensions
Version: 3.14.0-2
Severity: normal

Dear Maintainer,

Some days ago my testing laptop was upgraded to gnome-shell 3.14 (and extensions package too) and the apps-menu extension appeared in error state. After restarting the shell with the replace argument:

$ gnome-shell --replace

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 that some dependency is broken (I do not know what was the status of this package before the upgrade).

Thanks in advance!


-- System Information:
Debian Release: jessie/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.16-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages gnome-shell-extensions depends on:
ii  dconf-gsettings-backend [gsettings-backend]  0.22.0-1
ii  gir1.2-gtop-2.0                              2.28.5-2
ii  gnome-session                                3.14.0-2
ii  gnome-shell                                  3.14.0-1
ii  gvfs                                         1.22.0-1+b1

Versions of packages gnome-shell-extensions recommends:
ii  gnome-tweak-tool  3.14.0-1

gnome-shell-extensions suggests no packages.

-- no debconf information