Merge branch 'en/update-index-doc'
authorJunio C Hamano <gitster@pobox.com>
Mon, 20 Aug 2018 18:33:50 +0000 (11:33 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 20 Aug 2018 18:33:50 +0000 (11:33 -0700)
Doc update.

* en/update-index-doc:
  git-update-index.txt: reword possibly confusing example


Trivial merge