On Mon, Nov 26, 2012 at 2:23 PM, Matthieu Moy <Matthieu.Moy@xxxxxxxxxxxxxxx> wrote: > 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 majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html