Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Apr 8, 2025

Backport of #78037 to main

@github-actions github-actions bot requested a review from a team as a code owner April 8, 2025 00:13
@ghost ghost added Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead labels Apr 8, 2025
@JoeRobich JoeRobich merged commit a0d94ba into main Apr 8, 2025
25 checks passed
@dotnet-policy-service dotnet-policy-service bot added this to the Next milestone Apr 8, 2025
@ViktorHofer ViktorHofer deleted the backport/pr-78037-to-main branch April 8, 2025 05:13
@RikkiGibson RikkiGibson modified the milestones: Next, 18.0 P1 Aug 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants