Merge pull request #9260 from Cartucho:add_python_signatures
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 12 Dec 2017 08:58:14 +0000 (08:58 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 12 Dec 2017 08:58:14 +0000 (08:58 +0000)

Trivial merge