No matches were found for subject:"\[Bug 1243993\] Re\: Ubuntu global menu and top bar not working sometimes"