Merge pull request #8368 from neheb/p
authorHannu Nyman <redacted>
Tue, 12 Mar 2019 17:06:18 +0000 (19:06 +0200)
committerGitHub <redacted>
Tue, 12 Mar 2019 17:06:18 +0000 (19:06 +0200)
python: Refresh patches


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