https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120949
Sam James <sjames at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |redi at gcc dot gnu.org
Target Milestone|--- |16.0
--- Comment #1 from Sam James <sjames at gcc dot gnu.org> ---
r16-1911-g6596f5ab746533
