On Fri, 6 Feb 2009, Diego Novillo wrote: > I have created the plugins branch (rev. 143989). As I offered before, > I will help maintain the branch synchronized with mainline and with > patch reviews. The branch can be checked out with > > $ svn co svn://gcc.gnu.org/svn/gcc/branches/plugins
Nice, thanks for getting this started! > Gerald, is this patch to svn.html OK? I see that there are some stale > entries in there. I'll clean them up with a follow-up patch. You don't need approval for this, but if you did, I'd be happy to approve this specific patch. ;-) (You may want to consider a note on who is the main maintainer of the branch, and a convention on subject line tags, such as "[plugins]".) Gerald
