Skip to content

Conversation

@auduchinok
Copy link
Member

  • Removes Experimental attributes
  • Removes duplicate comments
  • Fixes formatting
  • Fixes grammar

@github-actions
Copy link
Contributor

github-actions bot commented Aug 15, 2025

⚠️ Release notes required, but author opted out

Warning

Author opted out of release notes, check is disabled for this pull request.
cc @dotnet/fsharp-team-msft

@auduchinok auduchinok added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Aug 15, 2025
@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Aug 25, 2025
@T-Gro T-Gro merged commit ce61954 into dotnet:main Aug 25, 2025
38 checks passed
@auduchinok auduchinok deleted the diag-extendedData-cleanup branch September 1, 2025 16:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants