On 20/03/18 16:08, Johannes Schindelin wrote: > Hi Phillip, > > On Tue, 20 Mar 2018, Phillip Wood wrote: > >> git-rebase--am.sh | 79 ++++++++++++++++----------------------- > > Those are a lot of changes, but pretty much all of it is a change in > indentation. Yes it's a big diff for what is really just deleting a few lines. > All three patches look good to me. That's good, thanks for looking at these and the other ones Best Wishes Phillip
