oh, and according to the comment on the change in question, it was done to fix gnome bug #337252, http://bugzilla.gnome.org/show_bug.cgi?id=337252
oh, and according to the comment on the change in question, it was done to fix gnome bug #337252, http:// bugzilla. gnome.org/ show_bug. cgi?id= 337252