Skip to content

Fix exn signature range#18982

Merged
T-Gro merged 2 commits into
dotnet:mainfrom
ncave:range
Oct 13, 2025
Merged

Fix exn signature range#18982
T-Gro merged 2 commits into
dotnet:mainfrom
ncave:range

Conversation

@ncave

@ncave ncave commented Oct 10, 2025

Copy link
Copy Markdown
Contributor
  • Fix exn signature range

@github-actions

github-actions Bot commented Oct 10, 2025

Copy link
Copy Markdown
Contributor

⚠️ 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

Copy link
Copy Markdown
Member

@ncave Is there a chance you could add a test case for the change?

@T-Gro T-Gro added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Oct 10, 2025
@ncave

ncave commented Oct 10, 2025

Copy link
Copy Markdown
Contributor Author

@auduchinok Sure, added.

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