Merge branch 'jk/doc-do-not-write-extern'
authorJunio C Hamano <gitster@pobox.com>
Tue, 27 Feb 2018 18:33:53 +0000 (10:33 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 27 Feb 2018 18:33:53 +0000 (10:33 -0800)
Devdoc update.

* jk/doc-do-not-write-extern:
  CodingGuidelines: mention "static" and "extern"


Trivial merge