Merge in 'release/8.0-rc1' changes
authordotnet-bot <dotnet-bot@microsoft.com>
Sat, 19 Aug 2023 16:24:02 +0000 (16:24 +0000)
committerdotnet-bot <dotnet-bot@microsoft.com>
Sat, 19 Aug 2023 16:24:02 +0000 (16:24 +0000)

Trivial merge