Skip to content

[release/10.0.1xx] Source code updates from dotnet/fsharp #3911

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
dotnet-maestro merged 2 commits into from
Dec 16, 2025
Merged

[release/10.0.1xx] Source code updates from dotnet/fsharp #3911

dotnet-maestro merged 2 commits into from
Dec 16, 2025

Conversation

@dotnet-maestro
Copy link
Contributor

@dotnet-maestro dotnet-maestro bot commented Dec 16, 2025

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:c4ccf58cd107213374237e3910288d4b6b183abb..https://github.com/dotnet/dotnet:darc-release/10.0.1xx-4ca2f4df-e15a-477b-b634-de2ee6df0d51

@dotnet-maestro
Copy link
Contributor Author

dotnet-maestro bot commented Dec 16, 2025

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 16, 2025 15:41
@dotnet-maestro dotnet-maestro bot merged commit 59d40bf into release/10.0.1xx Dec 16, 2025
16 checks passed
@dotnet-maestro dotnet-maestro bot deleted the darc-release/10.0.1xx-4ca2f4df-e15a-477b-b634-de2ee6df0d51 branch December 16, 2025 22:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@premun premun premun approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@premun