https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99863
--- Comment #9 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Richard, did you mean to CC me for another PR by any chance? Never mind, I was confused by your commit.
ebotcazou at gcc dot gnu.org via Gcc-bugs Thu, 01 Apr 2021 04:28:08 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99863
--- Comment #9 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Richard, did you mean to CC me for another PR by any chance? Never mind, I was confused by your commit.