Sync with maint
commit247b4d5f3807dc3c2230bb4bf497f84a1fc59e49
authorJunio C Hamano <gitster@pobox.com>
Tue, 22 Jul 2014 18:00:23 +0000 (22 11:00 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 22 Jul 2014 18:00:23 +0000 (22 11:00 -0700)
treecb229588a7b1f7144acb8735ed114d015ee6b9d8
parent12621cb22224d1c2f507a643a578e386ee891c5c
parentcd989a97ec5bdb612693fbbed98b7adeb52a83a0
Sync with maint

* maint:
  Documentation: fix missing text for rev-parse --verify
Documentation/git-rev-parse.txt