Bug#701942: #701942 - gnome-menus: not honoured in /etc/xdg/menus/gnome-applications.menu

[Pedro Beja]

Hey Fernando,

Could you please still reproduce this issue with newer gnome-menus version
like 3.8.0-2 or 3.10.1-1 ?

If so, could you please share an example of
/etc/xdg/menus/applications-merged ?

thanks
regards
althaser