https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87207
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Version|8.0 |7.2.0
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Version field updated because the gcc -v output shows you're using 7.2.0 not
8.0
