Skip to content

Conversation

@majocha
Copy link
Contributor

@majocha majocha commented Jan 2, 2024

No description provided.

@majocha majocha requested a review from a team as a code owner January 2, 2024 17:40
@github-actions
Copy link
Contributor

github-actions bot commented Jan 2, 2024

✅ No release notes required

@abonie abonie merged commit 7760da2 into dotnet:main Jan 3, 2024
@majocha majocha deleted the patch-1 branch January 3, 2024 09:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants