On 5/15/23 13:21, Richard W.M. Jones wrote: > > It all looks fine to me, barring comments that Eric has already made, > so ACK series. Thank you both for the reviews; merged as commit range d2d214c4e161..96fdc62ad59d. Phew. :) Laszlo