*** This bug is a duplicate of bug 1724115 ***
https://bugs.launchpad.net/bugs/1724115
** This bug is no longer a duplicate of bug 1764566
SIGSEGV in brisk_menu_window_filter_section() via gtk_list_box_insert ()
from libgtk-3.so.0
** This bug has been marked a duplicate of bug 1724115
*** This bug is a duplicate of bug 1764566 ***
https://bugs.launchpad.net/bugs/1764566
** This bug has been marked a duplicate of bug 1764566
SIGSEGV in brisk_menu_window_filter_section() via gtk_list_box_insert ()
from libgtk-3.so.0
** Information type changed from Private to Public
--
