Merge pull request #10091 from alalek:build_python_reduce_global_symbols
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 16 Nov 2017 10:17:39 +0000 (10:17 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 16 Nov 2017 10:17:39 +0000 (10:17 +0000)

Trivial merge