Merge pull request #15831 from alalek:fix_pylint_master
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Fri, 1 Nov 2019 16:07:15 +0000 (19:07 +0300)
committerGitHub <noreply@github.com>
Fri, 1 Nov 2019 16:07:15 +0000 (19:07 +0300)

Trivial merge