Joe Buck wrote: >>http://gcc.gnu.org/gccwiki the url we want, or http://gcc.gnu.org/wiki? > > > The latter, I think; one "gcc" in the URL is enough. Agreed. Diego.