Merge branch 'maint'
commit443d803e0dacd0a1c6700503689f3cd95751aba1
authorJunio C Hamano <gitster@pobox.com>
Wed, 27 Feb 2013 18:10:28 +0000 (27 10:10 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 27 Feb 2013 18:10:28 +0000 (27 10:10 -0800)
tree8e876ee7fd8896ce98cf6b2abff856be63f71749
parent3e07d2683de55f0e21b13a6724b59bdcd548b5d8
parent8d44277d91989ad2b37d4908096bd5256d6390c4
Merge branch 'maint'

* maint:
  Update draft release notes to 1.8.1.5
  Documentation/submodule: Add --force to update synopsis
Documentation/git-submodule.txt