Merge pull request #10396 from berak:fix_superres_sample
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Fri, 22 Dec 2017 13:35:36 +0000 (13:35 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Fri, 22 Dec 2017 13:35:36 +0000 (13:35 +0000)

Trivial merge