Skip to content

Conversation

@dkurepa
Copy link
Member

@dkurepa dkurepa commented Jul 23, 2025

@github-actions
Copy link
Contributor

✅ No release notes required

@akoeplinger akoeplinger enabled auto-merge (squash) July 23, 2025 13:43
@akoeplinger akoeplinger merged commit 7dd51e6 into dotnet:main Jul 24, 2025
39 checks passed
@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Jul 24, 2025
@github-project-automation github-project-automation bot moved this from In Progress to Done in F# Compiler and Tooling Jul 24, 2025
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.

3 participants