Comment 14 for bug 20101

Revision history for this message
Vincent Untz (vuntz) wrote :

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)