Skip to content

[release/10.0.2xx] Source code updates from dotnet/fsharp#3881

Merged
dotnet-maestro[bot] merged 2 commits intorelease/10.0.2xxfrom
darc-release/10.0.2xx-e45efe3c-0b96-43ce-a81d-c439a775fc07
Dec 15, 2025
Merged

[release/10.0.2xx] Source code updates from dotnet/fsharp#3881
dotnet-maestro[bot] merged 2 commits intorelease/10.0.2xxfrom
darc-release/10.0.2xx-e45efe3c-0b96-43ce-a81d-c439a775fc07

Conversation

@dotnet-maestro
Copy link
Contributor

Note

This is a codeflow update. It may contain both source code changes from
the source repo
as well as dependency updates. Learn more here.

This pull request brings the following source code changes

From https://github.com/dotnet/fsharp

Diff the source with this PR branch
darc vmr diff --name-only https://github.com/dotnet/fsharp:c8ac0176fde838b930d07f23bc2c81ba585448c4..https://github.com/dotnet/dotnet:darc-release/10.0.2xx-e45efe3c-0b96-43ce-a81d-c439a775fc07

@dotnet-maestro
Copy link
Contributor Author

Note

PRs from original repository included in this codeflow update:

💡 You may consult the FAQ for more information or tag @dotnet/prodconsvcs for assistance.

@dotnet-policy-service dotnet-policy-service bot requested a review from a team December 15, 2025 02:08
@dotnet-maestro dotnet-maestro bot merged commit 174a33f into release/10.0.2xx Dec 15, 2025
13 checks passed
@dotnet-maestro dotnet-maestro bot deleted the darc-release/10.0.2xx-e45efe3c-0b96-43ce-a81d-c439a775fc07 branch December 15, 2025 07:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant