Daniel Berlin <dberlin@dberlin.org> writes: [...] | > If we do this, shouldn't | > we put the GCC Wiki on gcc.gnu.org, instead of having it on your personal | > site? | | I'm happy to do this if people want. My preference would be to put it on GCC website. -- Gaby