Merge branch 'maint-1.8.5' into maint-1.9

* maint-1.8.5:
  Documentation: fix missing text for rev-parse --verify

diff --cc Documentation/git-rev-parse.txt
Simple merge