Bug#773013: closed by Josselin Mouette (Bug#773013: fixed in gnome-menus 3.13.3-4)

2014-12-14 Thread 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 >

Bug#773013: closed by Josselin Mouette (Bug#773013: fixed in gnome-menus 3.13.3-4)

2014-12-13 Thread 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