This bug was fixed in the package gnome-menus - 3.13.3-11ubuntu2
--------------- gnome-menus (3.13.3-11ubuntu2) cosmic; urgency=medium
[ Marco Trevisan (Treviño) ] * Add debian/gbp.conf with ubuntu settings * debian/control*: update VCS informations * debian/control*: fix VCS URIs
[ David Mohammed ] * Restore 80_file_monitor_delayed.patch: - Fix app menus not updating correctly after app install or removal. This patch was accidentally dropped in previous merge. (LP: #1765799)
-- Jeremy Bicha <email address hidden> Thu, 19 Jul 2018 20:37:27 -0400
This bug was fixed in the package gnome-menus - 3.13.3-11ubuntu2
---------------
gnome-menus (3.13.3-11ubuntu2) cosmic; urgency=medium
[ Marco Trevisan (Treviño) ]
* Add debian/gbp.conf with ubuntu settings
* debian/control*: update VCS informations
* debian/control*: fix VCS URIs
[ David Mohammed ] monitor_ delayed. patch:
* Restore 80_file_
- Fix app menus not updating correctly after app install or removal.
This patch was accidentally dropped in previous merge. (LP: #1765799)
-- Jeremy Bicha <email address hidden> Thu, 19 Jul 2018 20:37:27 -0400