Merge pull request #12880 from jefferyto/python-3.8.4
authorRosen Penev <redacted>
Mon, 20 Jul 2020 10:23:48 +0000 (03:23 -0700)
committerGitHub <redacted>
Mon, 20 Jul 2020 10:23:48 +0000 (03:23 -0700)
python3: Update to 3.8.4, refresh/rework patches, backport patches


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