Bug#893635: does not show up in GNOME's application menus

[Felix Natter]

hello Antoine,

thank you for the report. I cannot reproduce this on stretch with
GNOME3: It shows up in the list of applications (super key), and in both
"menu editors". Can you provide your desktop environment (GNOME3?) and a
screenshot that shows the problem?

I will ask xdg at lists.freedesktop.org.

Cheers and Best Regards,
-- 
Felix Natter
debian/rules!