https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83154
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |pault at gcc dot gnu.org
--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
The change occurred between revisions r252781 (2017-09-15, errors) and r253041
+ one patch (2017-09-20, ICE), likely r253077.
