On 5/26/22 09:04, Alan Modra wrote: > On Thu, May 26, 2022 at 08:19:57AM +0100, Luis Machado wrote: >> I suppose that's the hiccup the buildbot caught? > > Right. > I was going to take a look at it this morning. Thanks for fixing it.