https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104272
anlauf at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |anlauf at gcc dot gnu.org,
| |pault at gcc dot gnu.org
--- Comment #1 from anlauf at gcc dot gnu.org ---
This is still the case after Paul's big finalization update.
Adding him in CC.
@Paul: can you comment?
