On Fri, Sep 11, 2026, Richard Biener wrote: > I suppose so. The patch is OK.
Thanks. I do not have write access; could you or Robin push it? Dominic
On Fri, Sep 11, 2026, Richard Biener wrote: > I suppose so. The patch is OK.
Thanks. I do not have write access; could you or Robin push it? Dominic