On Mon, Nov 26, 2012 at 2:23 PM, Matthieu Moy
> The other related question being: does reading the section "History
> Simplification" in "man git-log" help? ;-)
Somewhat, but it does not explain why the file no longer has that
change. I can understand omitting history if end result is the same,
but here it shouldn't be - I cannot find a commit that reversed that
change, so the change should still be in after the merge?
The file in question was not modified on mirror, nor was modified on
origin after that change.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html