Comment 9 for bug 267892

thank you for the patch colin but the gnome-panel bug is already fixed, see bug #269312, I'll point the other adjustement changes to vuntz, closing the task since there is already a bug about that and unassigning it too because otherwise the people subscribed to gnome-panel will get gnome-system-tools bug comments