<div dir="ltr"><div style>Can anyone determine the difference between these two commits?</div><div><br></div><a href="https://bitbucket.org/petsc/petsc-dev/commits/de73c9a7d341">https://bitbucket.org/petsc/petsc-dev/commits/de73c9a7d341</a><br>
<div><a href="https://bitbucket.org/petsc/petsc-dev/commits/84df07d03c6e">https://bitbucket.org/petsc/petsc-dev/commits/84df07d03c6e</a><br></div><div><br></div><div style>They have the same parents and exactly the same content. The first one shows a few files with 0 lines changed, but those file names are elided in the second because they really did not change. I think the first is a corrupt commit, but I don't know how it was created. Can anyone tell what happened here?</div>
</div>