Merge pull request #8196 from commodo/python-batch-updates
authorHannu Nyman <hannu.nyman@iki.fi>
Tue, 12 Feb 2019 17:32:41 +0000 (19:32 +0200)
committerGitHub <noreply@github.com>
Tue, 12 Feb 2019 17:32:41 +0000 (19:32 +0200)
python,python3: batch updates


Trivial merge