On Wed, 20 Oct 2021, Joseph Myers wrote: > Those should have been removed in GCC commit > 431d26e1dd18c1146d3d4dcd3b45a3b04f7f7d59, it seems that forgot to remove > the link in the HTML version.
I'm surprised my link checker has not found this broken link; I'll need to look into that. Thanks for spotting Jonathan, and absolutely agreed with Joseph: yank it (or I'll do, if you prefer). Gerald
