On 2020-10-26 12:29 p.m., Simon Marchi wrote: > I rebased the patch and updated the users/simark/fix-leading-whitespace > branch, I plan on pushing it sometimes this week if there are no > objections. I pushed this. Simon