https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61780
--- Comment #5 from Mikael Morin <mikael at gcc dot gnu.org> --- (In reply to paul.richard.tho...@gmail.com from comment #3) > Dear Mikael, > > I didn't see your posting, which was about an hour before mine. At > least we came to the same conclusion! > Yes, that's good. :-) Thanks for the fix.
