[automated] Merge branch 'main' => 'release/dev18.0'#18477

T-Gro merged 2 commits intorelease/dev18.0dotnet/fsharp:release/dev18.0from

merge/main-to-release/dev18.0dotnet/fsharp:merge/main-to-release/dev18.0Copy head branch name to clipboard