Note that it should be fixed with the next gnome-menus release (if it's really http://bugzilla.gnome.org/show_bug.cgi?id=313232)
Note that it should be fixed with the next gnome-menus release (if it's really bugzilla. gnome.org/ show_bug. cgi?id= 313232)
http://