Skip to content

Conversation

waldekmastykarz
Copy link
Collaborator

No description provided.

@waldekmastykarz waldekmastykarz requested a review from a team December 1, 2023 12:27
@waldekmastykarz waldekmastykarz added the pr-bugfix Fixes a bug label Dec 1, 2023
@garrytrinder garrytrinder merged commit 7be3eee into dotnet:main Dec 1, 2023
@waldekmastykarz waldekmastykarz deleted the fix-rename branch December 4, 2023 09:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pr-bugfix Fixes a bug
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants