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

[Josselin Mouette]

Le dimanche 14 décembre 2014 à 00:07 -0500, Jerad Simpson a écrit :
> 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.

Thanks for noticing!
I’m uploading you fix.

-- 
 .''`.      Josselin Mouette
: :' :
`. `'
  `-