Merge pull request #12939 from jefferyto/python-3.8.5
authorRosen Penev <rosenp@gmail.com>
Mon, 27 Jul 2020 06:33:52 +0000 (23:33 -0700)
committerGitHub <noreply@github.com>
Mon, 27 Jul 2020 06:33:52 +0000 (23:33 -0700)
commit8d01a3e1042ff48ce8e3a7fe5af50b6ab2a3889e
tree72cb5edb80508086a35871feb847a62806641e43
parentf4d5f1f14f53fd12147a60aaeb0e74ab7527af20
parent7d6fcf20e76fae85af4b7a5bfbed077f2f609d81
Merge pull request #12939 from jefferyto/python-3.8.5

python3: Update to 3.8.5