Merge branch 'maint'
commit790c83cda92f95f1b4b91e2ddc056a52a99a055d
authorJunio C Hamano <gitster@pobox.com>
Thu, 13 Dec 2012 19:13:56 +0000 (13 11:13 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 13 Dec 2012 19:13:56 +0000 (13 11:13 -0800)
tree8c4f7450ba7f91ed307e42a19f910937b54cabd2
parent538d1239a8a715a60d611de1997ec75896647577
parentbdd478d620034dc6517aea940f5dc6b88f780c04
Merge branch 'maint'
Documentation/git.txt