Merge pull request #13711 from commodo/python-updates
authorHannu Nyman <hannu.nyman@iki.fi>
Mon, 19 Oct 2020 18:03:02 +0000 (21:03 +0300)
committerGitHub <noreply@github.com>
Mon, 19 Oct 2020 18:03:02 +0000 (21:03 +0300)
Python updates


Trivial merge