Merge pull request #176 from MrSidims/private/MrSidims/OtherExtensions
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Wed, 20 Jan 2021 16:44:51 +0000 (09:44 -0700)
committerGitHub <noreply@github.com>
Wed, 20 Jan 2021 16:44:51 +0000 (09:44 -0700)
Upstream several Intel extensions


Trivial merge