On Mon, May 6, 2024 at 7:33 AM Stephen Rothwell <sfr@xxxxxxxxxxxxxxxx> wrote: > > I fixed it up (the latter commit removed a line updated by the former, > so I did that) and can carry the fix as necessary. This is now fixed as The resolution looks good, thanks! Cheers, Miguel