On 14 Apr 2021, at 08:17, Bart Schaefer wrote: > > On Tue, Apr 13, 2021 at 10:09 PM Marlon Richert > wrote: >> >>> On 13 Apr 2021, at 23:45, Bart Schaefer wrote: >>> >>> Is it possible to do that without the massive re-indent of the >>> existing "case" branches? >> >> Sure. The original indent was an odd number of spaces, though. I thought that didn’t fit the style guide/code conventions? > > Possibly, but we prefer to keep functional changes separate from > whitespace changes for semantic clarity. OK, here’s the patch without the reindent. See attachment.