Merge branch 'release/8.0' into merge/release/8.0-rc1-to-release/8.0
authorEric StJohn <ericstj@microsoft.com>
Sat, 26 Aug 2023 02:43:12 +0000 (19:43 -0700)
committerGitHub <noreply@github.com>
Sat, 26 Aug 2023 02:43:12 +0000 (19:43 -0700)
1  2 
docs/project/list-of-diagnostics.md

Simple merge