Merge pull request #6805 from sergarrido:sergarrido-fix-useextrinsicguess
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Tue, 19 Jul 2016 12:52:59 +0000 (12:52 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Tue, 19 Jul 2016 12:52:59 +0000 (12:52 +0000)

Trivial merge