This bug was fixed in the package gnome-menus - 3.13.3-11ubuntu1.1
--------------- gnome-menus (3.13.3-11ubuntu1.1) bionic; urgency=medium
[ 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)
[ Marco Trevisan (Treviño) ] * Update Vcs fields
-- 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-11ubuntu1.1
--------------- 11ubuntu1. 1) bionic; urgency=medium
gnome-menus (3.13.3-
[ 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)
[ Marco Trevisan (Treviño) ]
* Update Vcs fields
-- Jeremy Bicha <email address hidden> Thu, 19 Jul 2018 20:37:27 -0400