Re: F19 : what happened to gnome-panel?