Merge branch 'master' into next
commit8dadcea0bae5407aaac58787f871be27792710a5
authorJunio C Hamano <gitster@pobox.com>
Wed, 27 Feb 2013 18:11:09 +0000 (27 10:11 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 27 Feb 2013 18:11:09 +0000 (27 10:11 -0800)
treea914afe7f2d714aaa601c81effc07fd888f57171
parent93ec2c9877fe8e1f0d976afee36dc5e927fa4650
parent443d803e0dacd0a1c6700503689f3cd95751aba1
Merge branch 'master' into next

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