Ubuntu
gnome-panel package

  1. Bug #10388
  2. Comment #2

Comment 2 for bug 10388

Revision history for this message
Eric Schwartz (emschwar-ericschwartz) wrote :

I would, only I just dist-upgraded, and the problem has disappeared. I'm a bit
annoyed, since a problem that disappears by itself may well reappear later, but
at least it's fixed now.