Skip to content

Conversation

@github-actions
Copy link
Contributor

Backport of #18722 to release/dev17.14

/cc @T-Gro

Customer Impact

Testing

Risk

IMPORTANT: Is this backport for a servicing release? If so and this change touches code that ships in a NuGet package, please make certain that you have added any necessary package authoring and gotten it explicitly reviewed.

@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Jul 11, 2025
@T-Gro T-Gro enabled auto-merge July 11, 2025 07:12
@T-Gro T-Gro merged commit 14987c8 into release/dev17.14 Jul 11, 2025
31 checks passed
@github-project-automation github-project-automation bot moved this from In Progress to Done in F# Compiler and Tooling Jul 11, 2025
@T-Gro T-Gro deleted the backport/pr-18722-to-release/dev17.14 branch July 22, 2025 09:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

1 participant