Merge branch 'maint'
commit56df44a98759157a6d729901f0e27b749e23c0d6
authorJunio C Hamano <gitster@pobox.com>
Wed, 3 Jul 2013 22:43:49 +0000 (3 15:43 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 3 Jul 2013 22:43:49 +0000 (3 15:43 -0700)
tree07c0c8f81ef990acd0c797575de3aa708c13fc34
parent0e7c41c0cd14b0d748ce624e49800b63f9b27991
parent81a199bb1cd483321962a7bfe5db33980bbf0f01
Merge branch 'maint'

* maint:
  Update draft release notes to 1.8.3.3
  git-config: update doc for --get with multiple values
Documentation/git-config.txt