Merge in 'release/8.0' changes
authordotnet-bot <dotnet-bot@microsoft.com>
Tue, 31 Oct 2023 14:37:06 +0000 (14:37 +0000)
committerdotnet-bot <dotnet-bot@microsoft.com>
Tue, 31 Oct 2023 14:37:06 +0000 (14:37 +0000)

Trivial merge