Merge pull request #4125 from Rudloff/feature/lint_doc
authorHypolite Petovan <mrpetovan@gmail.com>
Sun, 24 Dec 2017 01:35:58 +0000 (20:35 -0500)
committerGitHub <noreply@github.com>
Sun, 24 Dec 2017 01:35:58 +0000 (20:35 -0500)
Lint doc/Developers-Intro.md


Trivial merge