On Sat, 12 Nov 2022, Gerald Pfeifer wrote: > I am not aware of who added this, and why, nor actually even why, yet it > seems if we can get the same in place for /install we'll be good again, so > I'll ask overseers@.
https://gcc.gnu.org/install/ is up and running fine now/again. > Next step: redirects from the old /install docs to the new ones. Gerald
