Merge pull request #12028 from jefferyto/python-schema-0.7.2
authorHannu Nyman <hannu.nyman@iki.fi>
Fri, 1 May 2020 10:45:35 +0000 (13:45 +0300)
committerGitHub <noreply@github.com>
Fri, 1 May 2020 10:45:35 +0000 (13:45 +0300)
python-schema: Update to 0.7.2, change download source to PyPI


Trivial merge