Re: Extension: Auto Hide Top Panel

[Olav Vitters <olav vitters nl>]

On Thu, Jan 26, 2012 at 12:19:07PM -0800, My Name Is wrote:
> I've been running Fedora 16 for about two months and I have been really
> happy with it, once the extensions for Gnome 3 came out.

> Shouldn't there be some log, some site that says "hey, we removed it
> because ......"

Please either file a bug or use gnome-shell-list. No clue on above and
the people who'd know aren't on this list.

-- 
Regards,
Olav