https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99602
--- Comment #34 from Jürgen Reuter <juergen.reuter at desy dot de> --- (In reply to Paul Thomas from comment #33) > (In reply to Jürgen Reuter from comment #32) > > Ready for merge? > > Hi Juergen, > > Daytime work intervened. I will submit to the list today. > Great! > Thanks for all your support BTW. > On the contrary, thanks for your continuous great support! > Paul