Merge pull request #13177 from alalek:update_win32_scripts
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Fri, 16 Nov 2018 19:45:57 +0000 (22:45 +0300)
committerGitHub <noreply@github.com>
Fri, 16 Nov 2018 19:45:57 +0000 (22:45 +0300)

Trivial merge