Control: forwarded -1 https://bugzilla.gnome.org/show_bug.cgi?id=733611
Hey Pabs, there is a newer version of gnome-menus 3.10.1-1 available. Could you please still reproduce ? thanks regards althaser
- Bug#756197: #756197 - gnome-menus: new upstream version fixes c... Pedro Beja
