Merge in 'release/8.0' changes
authordotnet-bot <dotnet-bot@microsoft.com>
Fri, 15 Sep 2023 18:30:38 +0000 (18:30 +0000)
committerdotnet-bot <dotnet-bot@microsoft.com>
Fri, 15 Sep 2023 18:30:38 +0000 (18:30 +0000)

Trivial merge