Merge pull request #12208 from jefferyto/python-enable-optimizations
authorRosen Penev <redacted>
Mon, 18 May 2020 10:03:40 +0000 (03:03 -0700)
committerGitHub <redacted>
Mon, 18 May 2020 10:03:40 +0000 (03:03 -0700)
python3: Enable compile-time optimizations


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