Hello,

If you push, hans can do git diff on the two relevant revisions.

Ok then, thanks for the hint, I guess it suffices then.

PS: I've added the list to the Cc, your mail seemed to indicate that that was your intention but somewhere along the line it appears that some router didn't like the format of your message.