Merge pull request #17101 from dotnet/merges/main-to-release/dev17.11 · dotnet/fsharp@3ef1cb2 · GitHub
Skip to content

Commit 3ef1cb2

Browse files
authored
Merge pull request #17101 from dotnet/merges/main-to-release/dev17.11
Merge main to release/dev17.11
2 parents 5a06d08 + 6f49cab commit 3ef1cb2

2 files changed

Lines changed: 3 additions & 3 deletions

File tree

‎eng/Version.Details.xml‎

Lines changed: 2 additions & 2 deletions

‎global.json‎

Lines changed: 1 addition & 1 deletion

0 commit comments

Comments
 (0)