Merge pull request #18037 from danielenricocahall:improve-brisk-init-perf
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 18 Aug 2020 20:06:17 +0000 (20:06 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 18 Aug 2020 20:06:17 +0000 (20:06 +0000)

Trivial merge