On Sat, 2023-03-04 at 13:13 +0000, Jonny Grant wrote: > Hello > Is this something someone here could review please? I don't have write > access. Don't forward a patch everywhere, just ping it. See the section about pinging a patch in https://gcc.gnu.org/contribute.html. -- Xi Ruoyao <xry111@xxxxxxxxxxx> School of Aerospace Science and Technology, Xidian University