Gentle ping ;) BR. Jiufu Guo On 2021-05-20 15:19, guojiufu via Gcc-patches wrote: > Gentle ping^. > > On 2021-05-07 10:36, guojiufu via Gcc-patches wrote: >> Gentle ping. >> >> Original message: >> https://gcc.gnu.org/pipermail/gcc-patches/2020-October/555871.html >> >> >> Thanks, >> Jiufu Guo.