Hello, gedit has just been branched for 2.20.
Subsequent development (refactoring, features, whatever) will happen now in trunk. Have a good day, Steve _______________________________________________ gnome-doc-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-doc-list
