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 :-)

Reply via email to