Merge pull request #18911 from chargerKong:quat
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Wed, 2 Dec 2020 19:14:47 +0000 (19:14 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Wed, 2 Dec 2020 19:14:47 +0000 (19:14 +0000)

Trivial merge