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