Ubuntu
gnome-panel package

  1. Bug #197657
  2. Comment #16

Comment 16 for bug 197657

Revision history for this message
Martin Pitt (pitti) wrote :

Thanks! Committed to packaging branch.

I didn't merge your's, I saw it too late. Also, I used the newer patch tagging format that Debian/Ubuntu use these days.