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