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