Merge branch 'release/8.0' into merge/release/8.0-rc1-to-release/8.0
authorLarry Ewing <lewing@microsoft.com>
Sat, 19 Aug 2023 02:52:01 +0000 (21:52 -0500)
committerGitHub <noreply@github.com>
Sat, 19 Aug 2023 02:52:01 +0000 (21:52 -0500)

Trivial merge