https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124975
--- Comment #7 from David Binderman <dcb314 at hotmail dot com> --- (In reply to Paul Thomas from comment #6) > I will take care of it later this morning. > > Paul More than seven weeks later it still appears to be unfixed.
