Merge branch 'et/add-chmod-x'
authorJunio C Hamano <gitster@pobox.com>
Wed, 21 Sep 2016 22:15:19 +0000 (15:15 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 21 Sep 2016 22:15:19 +0000 (15:15 -0700)
"git add --chmod=+x" added recently lacked documentation, which has
been corrected.

* et/add-chmod-x:
add: document the chmod option

Trivial merge