Merge pull request #9806 from mshabunin:fix-static-7
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 9 Oct 2017 12:09:55 +0000 (12:09 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 9 Oct 2017 12:09:55 +0000 (12:09 +0000)

Trivial merge