Merge pull request #7297 from commodo/python3-3.7.1
authorHannu Nyman <redacted>
Fri, 2 Nov 2018 17:08:26 +0000 (19:08 +0200)
committerGitHub <redacted>
Fri, 2 Nov 2018 17:08:26 +0000 (19:08 +0200)
python3: bump to version 3.7.1


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