Merge pull request #3124 from f-morozov:optim_pr
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Fri, 22 Aug 2014 07:04:43 +0000 (07:04 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Fri, 22 Aug 2014 07:04:43 +0000 (07:04 +0000)

Trivial merge