[Bug 54208] Re: autohide doesn't unhide if you are too quick

[Daniel Holbach]

I'm closing the bug for now. Thanks for following up. If you have more
instructions on how to reproduce, please reopen.

** Changed in: gnome-panel (Ubuntu)
   Importance: Untriaged => Low
     Assignee: (unassigned) => Ubuntu Desktop Bugs
       Status: Unconfirmed => Rejected

-- 
autohide doesn't unhide if you are too quick
https://launchpad.net/bugs/54208