Merge pull request #4637 from commodo/python-refresh-patches
authorHannu Nyman <hannu.nyman@iki.fi>
Thu, 27 Jul 2017 04:19:42 +0000 (07:19 +0300)
committerGitHub <noreply@github.com>
Thu, 27 Jul 2017 04:19:42 +0000 (07:19 +0300)
python,python3: refresh patches via refresh cmd (reduce patch fuzz)


Trivial merge