On Wed, 2012-05-09 at 10:14 +0200, Corinna Vinschen wrote: > Yaakov? Ping? Did you have a look into the patch? Not yet; I just finished working on the GNOME 3.4 upgrade. I'll try to look at this soon. Yaakov