Merge pull request #7548 from tomoaki0705:fixRngAvoidFmadd
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 28 Nov 2016 21:04:03 +0000 (21:04 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 28 Nov 2016 21:04:03 +0000 (21:04 +0000)

Trivial merge