Re: [Automatic Bug Reporting Tool - ABRT] #760: use gnome3 style menu