Skip to content

Conversation

@ViktorHofer
Copy link
Member

@ViktorHofer ViktorHofer commented May 21, 2024

@ViktorHofer ViktorHofer requested a review from ericstj May 21, 2024 11:22
@ViktorHofer ViktorHofer requested a review from a team as a code owner May 21, 2024 11:22
@dotnet-policy-service dotnet-policy-service bot added the PR metadata: Label to tag PRs, to facilitate with triage label May 21, 2024
@ViktorHofer ViktorHofer merged commit f704647 into main May 21, 2024
@ViktorHofer ViktorHofer deleted the ViktorHofer-patch-1 branch May 21, 2024 11:50
@github-actions github-actions bot locked and limited conversation to collaborators Jun 21, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

PR metadata: Label to tag PRs, to facilitate with triage

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants