Merge pull request #12901 from commodo/python-batch1
authorRosen Penev <rosenp@gmail.com>
Wed, 22 Jul 2020 20:45:16 +0000 (13:45 -0700)
committerGitHub <noreply@github.com>
Wed, 22 Jul 2020 20:45:16 +0000 (13:45 -0700)
python-simplejson,python-lxml,python-simplejson: bump versions


Trivial merge