On Nov 3, 2014, at 10:50 AM, Alexander Mikheev <al...@mellanox.com> wrote:
> It is --amend of my previous commit. When I tried to push my amended commit, > the merge was required. Ah, I just spotted the minor difference between the two commits. The second argument to setenv() was changed from integer zero to a string "0". In the future, it would be better to just create a new single commit fixing the mistake directly instead of amending, merging, and pushing, since that difference was not obvious from just looking at the email diffs flying by. -Dave
