https://gcc.gnu.org/bugzilla/show_bug.cgi?id=21761
seurer at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|VERIFIED |CLOSED
CC| |seurer at gcc dot gnu.org
--- Comment #7 from seurer at gcc dot gnu.org ---
This was fixed long ago. Closing.
