Merge pull request #9609 from neheb/py
authorRosen Penev <rosenp@gmail.com>
Wed, 31 Jul 2019 21:42:55 +0000 (14:42 -0700)
committerGitHub <noreply@github.com>
Wed, 31 Jul 2019 21:42:55 +0000 (14:42 -0700)
python: Replace utime with utimes


Trivial merge