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