[Bug 703818] gnome-menus-branding: Drop settings.menu?

https://bugzilla.novell.com/show_bug.cgi?id=703818 https://bugzilla.novell.com/show_bug.cgi?id=703818#c1 Vincent Untz changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED --- Comment #1 from Vincent Untz 2011-07-22 11:25:01 UTC --- Fix submitted as sr#76746. -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.