Document the version and sha constants.#849

Merged

manthey merged 2 commits intomasterfrom doc-version-sha

Jul 12, 2018

+23-9

Commits on Jul 2, 2018

Document the version and sha constants.
manthey
committed

Commits on Jul 12, 2018

Merge branch 'master' into doc-version-sha
manthey
authored