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? > --Ben
