Hi,
Devhelp has branched for 2.20. Any 2.20 development continues on the gnome-2-20 branch. The plans for trunk are to try and get the webkit patch in, together with some other outstanding patches and ideas in bugzilla. /Richard -- Imendio AB, http://www.imendio.com/ _______________________________________________ gnome-devtools mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-devtools
