Hi, Someone (identified as "MatthewSimoneau") renamed
http://gcc.gnu.org/wiki/CompileFarm to http://gcc.gnu.org/wiki/GCC%20Compile%20Farm%20Project Which of course broke all the web links to this project accumulated since 2005... The problem is that I'm unable to use the "Rename" wiki function to go back to the original name "CompileFarm": it says the page "already exists". I ended up creating a new dummy "CompileFarm" page with a link to the new one, but if someone has a way to make Rename back to the original name work I'm interested (I can do a bruteforce copy/paste but then we'll loose the edit history). Thanks! Laurent
