Desktop panel for GNOME

Comment 16 for bug 774427

Martin Pitt (pitti) wrote :

As the proposed package improves the situation, I'll mark this verification-done. Please feel free to reopen for the remaining issue.