On Wed, 8 Oct 2025 at 21:04, Jonathan Wakely <[email protected]> wrote: > > On Wed, 8 Oct 2025 at 19:08, Martin Uecker via Gcc <[email protected]> wrote: > > > > > > Does anybody have an idea what might have gone wrong here? > > The 'make html' step is failing, probably because of what Richi fixed > at r16-4286-gc5bee7e24d5ccf
Ah no, the failure is at a newer commit. Dunno then!
