Bug#773013: closed by Josselin Mouette <joss at debian.org> (Bug#773013: fixed in gnome-menus 3.13.3-4)

[Jerad Simpson]

Thank you Josselin!

I have found a small issue with the patch itself that might affect others.
In get_current_desktops(), if (desktops) should read if (!desktops).

Please see http://paste.debian.net/136484/ for short program demonstrating
the difference.

Jerad
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20141214/da6c529a/attachment.html>