Note that the patch is now applied upstream.
http://git.gnome.org/browse/gnome-desktop/commit/?id=11997d32313cd67f24cb26e18c562fa4b75ea36f
Note that the patch is now applied upstream.
http:// git.gnome. org/browse/ gnome-desktop/ commit/ ?id=11997d32313 cd67f24cb26e18c 562fa4b75ea36f