Skip to content

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

@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-maestro
Copy link
Contributor Author

Caution

There was a conflict in the PR branch when flowing source from https://github.com/dotnet/fsharp/tree/4396154347e812cffb31b5b5b95fdc2028bb4c8c
Files conflicting with the head branch:

Updates from this subscription will be blocked until the conflict is resolved, or the PR is merged

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

@dotnet-maestro dotnet-maestro bot merged commit 569ca99 into release/10.0.2xx Nov 17, 2025
13 checks passed
@dotnet-maestro dotnet-maestro bot deleted the darc-release/10.0.2xx-01a7ca84-7bb1-4123-a26e-a1c5efb86691 branch November 17, 2025 08:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants