Skip to content

[release/11.0.2xx] Source code updates from dotnet/fsharp - #10270

Merged
T-Gro merged 10 commits into
release/11.0.2xxfrom
darc-release/11.0.2xx-02f6208b-e85b-403b-915b-0239d70cf5fd
Oct 20, 2026
Merged

T-Gro merged 10 commits into
release/11.0.2xxfrom
darc-release/11.0.2xx-02f6208b-e85b-403b-915b-0239d70cf5fd

Conversation

@dotnet-maestro

@dotnet-maestro dotnet-maestro Bot commented Oct 19, 2026 •

Copy link
Copy Markdown
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:018295d668a61fb2449356c1bba99a3a27ff6837..https://github.com/dotnet/dotnet:darc-release/11.0.2xx-02f6208b-e85b-403b-915b-0239d70cf5fd

@dotnet-maestro

Copy link
Copy Markdown
Contributor Author

Important

⚠️ No subscription flowing code in the opposite direction is set up.
Code changes made in the VMR's src/ directory will not flow back to the source repository on branch "main".

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

@dotnet-maestro

Copy link
Copy Markdown
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 October 19, 2026 09:09
@azure-pipelines

Copy link
Copy Markdown
Azure Pipelines:
Successfully started running 1 pipeline(s).
1 pipeline(s) were filtered out due to trigger conditions.
There may be pipelines that require an authorized user to comment /azp run to run.

@dotnet-maestro

Copy link
Copy Markdown
Contributor Author

@T-Gro
T-Gro merged commit bb70b4d into release/11.0.2xx Oct 20, 2026
12 checks passed
@T-Gro
T-Gro deleted the darc-release/11.0.2xx-02f6208b-e85b-403b-915b-0239d70cf5fd branch October 20, 2026 14:37
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