Skip to content

Conversation

@psfinaki
Copy link
Contributor

As pointed out here.

@psfinaki psfinaki requested a review from a team as a code owner October 14, 2024 17:35
@psfinaki psfinaki mentioned this pull request Oct 14, 2024
@github-actions
Copy link
Contributor

✅ No release notes required

@T-Gro T-Gro enabled auto-merge (squash) October 15, 2024 08:06
@T-Gro T-Gro merged commit 349a95d into dotnet:main Oct 15, 2024
4 checks passed
@psfinaki psfinaki deleted the patch-1 branch February 10, 2025 15:17
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.

3 participants