It looks like it's http://bugzilla.gnome.org/show_bug.cgi?id=313232 (which is FIXED in HEAD). Not sure, though.
It looks like it's http:// bugzilla. gnome.org/ show_bug. cgi?id= 313232 (which is
FIXED in HEAD). Not sure, though.