On Sun, 26 May 2019, Sebastian Andrzej Siewior wrote: > On 2019-05-26 19:33:25 [+0200], To Hugh Dickins wrote: > From: Hugh Dickins <hughd@xxxxxxxxxx> > … > > Signed-off-by: Hugh Dickins <hughd@xxxxxxxxxx> > > Hugh, I took your patch, slapped a signed-off-by line. Please say that > you are fine with it (or object otherwise). I'm fine with it, thanks Sebastian. Sorry if I wasted your time by not giving it my sign-off in the first place, but I was not comfortable to dabble there without your sign-off too - which it now has. (And thought you might already have your own version anyway: just provided mine as illustration, so that we could be sure of exactly what I'd been testing.) Hugh