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

[intrigeri]

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

Confirmed the bug and the proposed fix on current sid.
The attached patch fixes this bug for me.
Should I NMU?

Cheers!

-------------- next part --------------
A non-text attachment was scrubbed...
Name: fix-bug765460.patch
Type: text/x-diff
Size: 1427 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20141017/9b7fbc0d/attachment.patch>