https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90339

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Jonathan Wakely from comment #1)
> But bugzilla is not the place for that discussion, it's not a bug.

I probably should have said that I think the g...@gcc.gnu.org mailing list is
the right place.

Reply via email to