Ubuntu
gnome-menus package

Bug #1506744
Comment #42

Comment 42 for bug 1506744

Revision history for this message

Andrea Azzarone (azzar1) wrote on 2016-05-16:

#42

80_file_monitor_delayed.patch Edit (3.5 KiB, text/plain)

@Seb128 Please find attached a quilt patch for gnome-menus that should workaround the problem. Please note that https://code.launchpad.net/~azzar1/libunity/fix-1506744/+merge/294855 is also required.