Merge branch 'tg/use-git-contacts'
authorJunio C Hamano <gitster@pobox.com>
Wed, 25 Apr 2018 04:29:05 +0000 (13:29 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 25 Apr 2018 04:29:05 +0000 (13:29 +0900)
Doc update.

* tg/use-git-contacts:
SubmittingPatches: mention the git contacts command

Trivial merge