Merge branch 'maint'
commit82c41a9bfc843aa2a6e286bcb917b0436714ebd4
authorJunio C Hamano <gitster@pobox.com>
Fri, 18 Oct 2013 20:53:48 +0000 (18 13:53 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 18 Oct 2013 20:53:48 +0000 (18 13:53 -0700)
treefeaa3599c95da8400b179a5618443c66125ee3c6
parent6c2bec96a8215bad7745d559c631e45332c5a9ee
parent5f737ac91bd869e65bff401ad1108581ac504e22
Merge branch 'maint'

* maint:
  git-merge: document the -S option