mate-desktop/mate-panel — pull request #10 by brianjmurrell (2012-02-24 01:54:33+00:00)
Title: Fix for mate-panel issue #9

This is the patch for GNOME bug 632369 that you pointed me at, ported to MATE.