Merge pull request #8708 from terfendail:agast_fix
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Wed, 17 May 2017 15:03:41 +0000 (15:03 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Wed, 17 May 2017 15:03:41 +0000 (15:03 +0000)

Trivial merge