vuntz confirmed that this bug is also present in gnome-menus git master. I filed an upstream bug https://bugzilla.gnome.org/show_bug.cgi?id=630410.
vuntz confirmed that this bug is also present in gnome-menus git master. I filed an upstream bug https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 630410.