Merge pull request #9140 from Cartucho:linter_python
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 24 Aug 2017 19:49:12 +0000 (19:49 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 24 Aug 2017 19:49:12 +0000 (19:49 +0000)

Trivial merge