Merge pull request #22271 from tomoaki0705:dotprod_neon
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Mon, 25 Jul 2022 15:00:32 +0000 (15:00 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Mon, 25 Jul 2022 15:00:32 +0000 (15:00 +0000)

Trivial merge