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)
commitd5e9dfffa7e8fb41203bd6d1cb65d2612dcd68c6
treecf11bf4e7f39637a3979c88fc141fa31737b6595
parent711456a4db69ebbda8cdd7151984fa1e66520c0b
parentbe9a554a26c6b9bcd7ed91550c16613d4c64f7b7
Merge pull request #12208 from jefferyto/python-enable-optimizations

python3: Enable compile-time optimizations
git clone https://git.99rst.org/PROJECT