*** This bug is a duplicate of bug 1724115 ***
https://bugs.launchpad.net/bugs/1724115
** This bug is no longer a duplicate of bug 1706761
brisk-menu crashed with SIGSEGV in empty()
** This bug has been marked a duplicate of bug 1724115
brisk-menu crashed while looking at items while a
*** This bug is a duplicate of bug 1706761 ***
https://bugs.launchpad.net/bugs/1706761
** This bug is no longer a duplicate of bug 1725625
brisk-menu crashed with SIGSEGV
** This bug has been marked a duplicate of bug 1706761
brisk-menu crashed with SIGSEGV in empty()
--
You received
*** This bug is a duplicate of bug 1725625 ***
https://bugs.launchpad.net/bugs/1725625
Thank you for taking the time to report this crash and helping to make
this software better. This particular crash has already been reported
and is a duplicate of bug #1725625, so is being marked as such.