On Tue, 21 Apr 2020 at 08:48, Philippe Mathieu-Daudé <f4...@amsat.org> wrote: > I couldn't find a git-diff option to display this change in an obvious way.
Yeah, as a human you can say "it would be easier to read if the '} else {' line was not treated as unchanged", but the automatic diff output isn't totally awful. Sometimes you do just have to look at the resulting code... thanks -- PMM