Kurt Zeilenga writes: > I'm not sure why his merge was needed. Likely I goofed. I think it > was a no-op.
Ah. Well, we'll have more glitches I'm sure. 'gitk --all' or 'git log --graph' shows you did 'Update guide Copyright/License handling' in one branch and 'Update configure' + Update for git' in another. I.e. didn't pull the first before committing/pushing the second. -- Hallvard
