https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70895
Tom de Vries <vries at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |vries at gcc dot gnu.org
--- Comment #9 from Tom de Vries <vries at gcc dot gnu.org> ---
Chung-Lin, is there something that remains to be done here, or can this be
closed?
