Merge branch 'jc/diff-unique-abbrev-comments' into maint
authorJunio C Hamano <redacted>
Fri, 28 Oct 2016 16:01:23 +0000 (09:01 -0700)
committerJunio C Hamano <redacted>
Fri, 28 Oct 2016 16:01:23 +0000 (09:01 -0700)
A bit more comments in a tricky code.

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


Trivial merge
git clone https://git.99rst.org/PROJECT