Merge branch 'jc/diff-unique-abbrev-comments' into maint
commit0582a34f525a95a1c592f111fbf64dd45a4d8e70
authorJunio C Hamano <gitster@pobox.com>
Fri, 28 Oct 2016 16:01:23 +0000 (28 09:01 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 28 Oct 2016 16:01:23 +0000 (28 09:01 -0700)
tree46cf11e7891d25ae1ee88212dd0d8bbacfff59de
parent4efd8e64d3c806b840d1e167762861d8154cd7ed
parentd709f1fb9d3bfa148dd8b461e633138fdf5957e6
Merge branch 'jc/diff-unique-abbrev-comments' into maint

A bit more comments in a tricky code.

* jc/diff-unique-abbrev-comments:
  diff_unique_abbrev(): document its assumption and limitation