Merge pull request #3771 from mshabunin:arm-round
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 9 Mar 2015 21:49:15 +0000 (21:49 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 9 Mar 2015 21:49:15 +0000 (21:49 +0000)

Trivial merge