On Mon, 17 May 2021, Corinna Vinschen wrote: > Hi Jeremy, > > Thanks for the patch, but I have two nits: > > - The patch doesn't apply cleanly with `git am'. Please check again. Probably got mangled in the mail. Attached this time. > > - I would prefer a massively reduced patch size, by *not* changing > indentation on otherwise unaffected lines. > Done