projects / feed / packages.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 799db6b 0973d21)
Merge pull request #12754 from jefferyto/python-host-platform
authorRosen Penev <rosenp@gmail.com>
Wed, 8 Jul 2020 18:01:15 +0000 (11:01 -0700)
committerGitHub <noreply@github.com>
Wed, 8 Jul 2020 18:01:15 +0000 (11:01 -0700)
python3: Use default _PYTHON_HOST_PLATFORM


Trivial merge
Mirror of packages feed