Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Sep 29, 2025

Backport of #80446 to main

/cc @jjonescz

@github-actions github-actions bot requested a review from a team as a code owner September 29, 2025 11:52
@jjonescz jjonescz merged commit 29b9a85 into main Sep 29, 2025
24 checks passed
@jjonescz jjonescz deleted the backport/pr-80446-to-main branch September 29, 2025 13:24
@dotnet-policy-service dotnet-policy-service bot added this to the Next milestone Sep 29, 2025
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.

2 participants