Merge pull request #92374 from dotnet-maestro-bot/merge/release/8.0-rc1-to-release/8.0
authorCarlos Sánchez López <1175054+carlossanlop@users.noreply.github.com>
Thu, 21 Sep 2023 17:49:43 +0000 (10:49 -0700)
committerGitHub <noreply@github.com>
Thu, 21 Sep 2023 17:49:43 +0000 (10:49 -0700)
[automated] Merge branch 'release/8.0-rc1' => 'release/8.0'


Trivial merge