Re: Git repository

[Martin Baehr]

true, but if the backport was done with a git cherry-pick they would
have at least the same author and timestamp. (ok, at that point one
might as well explicitly mark the cherry pick...)

greetings, martin.