Merge branch 'maint-1.9' into maint
commitbba6acb335e296ed692b4aea224b50fd098f693c
authorJunio C Hamano <gitster@pobox.com>
Tue, 22 Jul 2014 17:17:34 +0000 (22 10:17 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 22 Jul 2014 17:17:34 +0000 (22 10:17 -0700)
treebcfc75dd8f4706be2a19a51120c14b32cda473c5
parent5c0b13f85ab3a5326508b854768eb70c8829cda4
parentd31f3ad23dd1aee3c3e1015a43b02b995c01a9a1
Merge branch 'maint-1.9' into maint

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