On Mon, 2023-12-04 at 23:22 +0000, Jonny Grant wrote: /* snip */ > > > Thank you and Xi for the link again. > > > I signed up for a wiki account, but I can't see an "edit" button - is > there a step I need to follow? Wanted to make a spelling correction on > that page "hellgrind". https://gcc.gnu.org/wiki/EditorGroup -- Xi Ruoyao <xry111@xxxxxxxxxxx> School of Aerospace Science and Technology, Xidian University
