On Sat, 20 May 2023 03:13:19 +1000, Luke Mewburn wrote: > | Arguably fixes PR toolchain/42166 > > I think you meant toolchain/41266.
Argh! Of course! Mis-typed once, and my fingers stuck with it. Cheerio, Hauke -- Hauke Fath <ha...@espresso.rhein-neckar.de> Linnéweg 7 64342 Seeheim-Jugenheim Germany
