https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127722
--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Keith Thompson from comment #8) > But perhaps this is the kind of errant pedantry which we should > not put up with. Yes :-)
