I will do that. I can no longer trigger this though, so perhaps it was fixed as a side effect of some other change.
-- Additional menus in the menu bar https://bugs.launchpad.net/bugs/651125 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
