This bug was fixed in the package gnome-menus - 3.13.3-6ubuntu5
--------------- gnome-menus (3.13.3-6ubuntu5) zesty; urgency=medium
[ Andrea Azzarone ] * debian/patches/80_file_monitor_delated.patch: - update to existing path to remove weak pointer before menu-monitor memory deallocation; resolves budgie-desktop panel crash (LP: #1631745)
-- Sebastien Bacher <email address hidden> Fri, 10 Feb 2017 20:15:18 +0000
This bug was fixed in the package gnome-menus - 3.13.3-6ubuntu5
---------------
gnome-menus (3.13.3-6ubuntu5) zesty; urgency=medium
[ Andrea Azzarone ] patches/ 80_file_ monitor_ delated. patch:
* debian/
- update to existing path to remove weak pointer before menu-monitor
memory deallocation; resolves budgie-desktop
panel crash (LP: #1631745)
-- Sebastien Bacher <email address hidden> Fri, 10 Feb 2017 20:15:18 +0000