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)
commit840d05eb8ee94757af60d8a535a2e92cbfbd4d1a
treeea933d0124bfa5d64457e9303a0947ca238ea629
parentfd0174b3e24d29a51a989e4dcd1d9fa041cdd90c
parent5d4f8178656548eb6084b1a9578b79ebc171b9d1
Merge pull request #8368 from neheb/p

python: Refresh patches
git clone https://git.99rst.org/PROJECT