Merge pull request #10337 from dkurt:fix_pooling_layer
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 18 Dec 2017 09:11:54 +0000 (09:11 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 18 Dec 2017 09:11:54 +0000 (09:11 +0000)

Trivial merge