On Tue, Jan 6, 2026 at 4:43 PM Ben Boeckel <[email protected]> wrote: > > On Tue, Jan 06, 2026 at 14:39:55 +0100, Richard Biener wrote: > > On Mon, Jan 5, 2026 at 2:13 PM Ben Boeckel <[email protected]> wrote: > > > > > > On Mon, Jan 05, 2026 at 08:11:09 -0500, Ben Boeckel wrote: > > > > On Mon, Jan 05, 2026 at 11:07:42 +0100, Richard Biener wrote: > > > > > # Please report bugs to <https://gcc.gnu.org/bugs/> > > > > > > > > > > that seems odd, maybe # Please report bugs following instructions at > > > > > <https://gcc.gnu.org/bugs/> > > > > > as this isn't the address for bugzilla? > > > > > > > > Good catch; I'll respin. > > > > > > > > Thanks for the review, > > > > > > Oh, sorry. This is `autoconf`-generated. The wording comes from there. > > > > Shouldn't we then use https://gcc.gnu.org/bugzilla in such context? > > That misses a lot of context for making a *good* bug report though. I > think anyone actually filing a bug after looking at `configure`'s source > which has this wording can figure out what is intended here, but that's > me. Iain agreed here: > > https://gcc.gnu.org/pipermail/gcc-patches/2025-October/696729.html
I see. The patch looks OK to me then. Thus, OK, unless somebody else raises concerns within 24h. Richard. > --Ben
