Daniel: a patch exists in http://bugzilla.gnome.org/show_bug.cgi?id=525283 but noone with an account on the broken servers has yet offered to test it.
Daniel: a patch exists in http:// bugzilla. gnome.org/ show_bug. cgi?id= 525283 but noone with an account on the broken servers has yet offered to test it.