Merge branch 'maint-1.9' into maint

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

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