Code

git-gui: Correctly ignore '* Unmerged path' during diff.