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