Please ignore the previous comment. That was a careless mistake of mine. Sorry for the bug noise. -- firefox has duplicate menu entries https://bugs.launchpad.net/bugs/240835 You received this bug notification because you are a member of Mozilla Bugs, which is subscribed to firefox in ubuntu.