/patch-plugins_sound_gsd-sound-manager_c/1.2/Sat Oct 24 17:17:52 2009//
/patch-gnome-settings-daemon_gnome-settings-module_c/1.3/Fri Nov 13 19:36:12 2009//
/patch-plugins_media-keys_gsd-media-keys-manager_c/1.4/Fri Nov 13 19:36:12 2009//
D
