Merge pull request #12939 from jefferyto/python-3.8.5
authorRosen Penev <redacted>
Mon, 27 Jul 2020 06:33:52 +0000 (23:33 -0700)
committerGitHub <redacted>
Mon, 27 Jul 2020 06:33:52 +0000 (23:33 -0700)
python3: Update to 3.8.5


Trivial merge
git clone https://git.99rst.org/PROJECT