Hi,
we need to revert http://bugzilla.gnome.org/show_bug.cgi?id=168262,
since the patch is totally wrong. My bad, sorry.
We had no report of problems in gedit, but the same things in yelp
caused problems (see
http://bugzilla.gnome.org/show_bug.cgi?id=169160)
ciao
Paolo
_______________________________________________
desktop-devel-list mailing list
desktop-devel-list@gnome.org
http://mail.gnome.org/mailman/listinfo/desktop-devel-list
