On 9/11/26 12:25 PM, Dominic P wrote:
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?
Oh, wait, that was likely V1.  Let me dig out the V2.

jeff

Reply via email to