https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123166
--- Comment #10 from Steve Kargl <sgk at troutmask dot apl.washington.edu> --- On Wed, Dec 17, 2025 at 04:47:48PM +0000, uweigand at gcc dot gnu.org wrote: > > --- Comment #9 from Ulrich Weigand <uweigand at gcc dot gnu.org> --- > Should be fixed now. > Thanks for taking care of this nit so quick.
