Comment 2 for bug 1191290

Matthieu Baerts (matttbe) wrote :

(I just subscribe Jeremy to this bug report because the latest version of gnome-menus was modified by him. I hope it's not a problem for him!)