Skip to content

Conversation

@Szer
Copy link
Contributor

@Szer Szer commented Jun 4, 2023

Fixes #15307

Any changes from maintainers to make this PR better are welcome!

@Szer Szer requested a review from a team as a code owner June 4, 2023 17:05
@Szer
Copy link
Contributor Author

Szer commented Jun 4, 2023

@dotnet-policy-service agree

@T-Gro T-Gro merged commit e25475c into dotnet:main Jun 23, 2023
@Szer Szer deleted the issue_15307 branch June 23, 2023 22:47
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.

Better diagnostic message for FS0856

4 participants