@Didier: No, I'm not sure. This happened just once, before a lot of upgrades. I don't know if it's reproducible now (that's why I didn't set the state as confirmed).
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/766183 Title: Launcher hides even when pointer is over it -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
