Merge pull request #9067 from jefferyto/python3-chardet-rename-script
authorRosen Penev <rosenp@gmail.com>
Sat, 25 May 2019 21:21:50 +0000 (14:21 -0700)
committerGitHub <noreply@github.com>
Sat, 25 May 2019 21:21:50 +0000 (14:21 -0700)
python-chardet: Rename Python 3 script


Trivial merge