Merge pull request #8177 from Geo1088/patch-1
authorKevin Sawicki <kevin@github.com>
Mon, 12 Dec 2016 17:28:46 +0000 (09:28 -0800)
committerGitHub <noreply@github.com>
Mon, 12 Dec 2016 17:28:46 +0000 (09:28 -0800)
[Docs] Fix list item number rendering in distribution tutorial


Trivial merge