diff options
author | Junio C Hamano <gitster@pobox.com> | 2019-10-09 14:00:59 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-10-09 14:00:59 +0900 |
commit | 772cad0afb834b9af8ee56511dc3df4d6e2f011d (patch) | |
tree | bf4f9f9be0c01cfb4b4adb41dfda0ccb3fc1ba99 /INSTALL | |
parent | Merge branch 'js/mingw-spawn-with-spaces-in-path' (diff) | |
parent | diffcore_rename(): use a stable sort (diff) | |
download | tgif-772cad0afb834b9af8ee56511dc3df4d6e2f011d.tar.xz |
Merge branch 'js/diff-rename-force-stable-sort'
The rename detection logic sorts a list of rename source candidates
by similarity to pick the best candidate, which means that a tie
between sources with the same similarity is broken by the original
location in the original candidate list (which is sorted by path).
Force the sorting by similarity done with a stable sort, which is
not promised by system supplied qsort(3), to ensure consistent
results across platforms.
* js/diff-rename-force-stable-sort:
diffcore_rename(): use a stable sort
Move git_sort(), a stable sort, into into libgit.a
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions