Various doc updates#3314
Merged
gvanrossum merged 6 commits intomasterfrom May 3, 2017
Commits
Commits on May 3, 2017
- committedGuido van Rossum
- committedGuido van Rossum
- committedGuido van Rossum
- committedGuido van Rossum
- committedGuido van Rossum
- committedGuido van Rossum