tree 8e876ee7fd8896ce98cf6b2abff856be63f71749
parent 3e07d2683de55f0e21b13a6724b59bdcd548b5d8
parent 8d44277d91989ad2b37d4908096bd5256d6390c4
author Junio C Hamano <gitster@pobox.com> 1361988628 -0800
committer Junio C Hamano <gitster@pobox.com> 1361988628 -0800

Merge branch 'maint'

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