Merge pull request #11872 from jefferyto/python3-makefile-cleanup
authorHannu Nyman <redacted>
Mon, 20 Apr 2020 17:05:07 +0000 (20:05 +0300)
committerGitHub <redacted>
Mon, 20 Apr 2020 17:05:07 +0000 (20:05 +0300)
python3: Makefile cleanup


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