Merge pull request #1 from python/master#4123

toonarmycaptain wants to merge 1 commit into

python:masterpython/cpython:masterfrom

toonarmycaptain:mastertoonarmycaptain/cpython:masterCopy head branch name to clipboard