Comment 37 for bug 893842

Martin Pitt (pitti) wrote :

Another instance of this in gnome-menus, will fix.