Skip to content

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

Merged
dotnet-maestro[bot] merged 1 commit intorelease/10.0.2xxfrom
darc-release/10.0.2xx-fb9a3fab-66cc-4a3e-b03a-5c7271835463
Dec 18, 2025
Merged

[release/10.0.2xx] Source code updates from dotnet/fsharp#3941
dotnet-maestro[bot] merged 1 commit intorelease/10.0.2xxfrom
darc-release/10.0.2xx-fb9a3fab-66cc-4a3e-b03a-5c7271835463

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:1112c72f1344f8a9c79e2f4c197b17016f8d6939..https://github.com/dotnet/dotnet:darc-release/10.0.2xx-fb9a3fab-66cc-4a3e-b03a-5c7271835463

@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 18, 2025 02:35
@dotnet-maestro dotnet-maestro bot merged commit bb5953f into release/10.0.2xx Dec 18, 2025
13 checks passed
@dotnet-maestro dotnet-maestro bot deleted the darc-release/10.0.2xx-fb9a3fab-66cc-4a3e-b03a-5c7271835463 branch December 18, 2025 09:04
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