Skip to content

Conversation

@petterh
Copy link
Contributor

@petterh petterh commented Nov 21, 2023

@petterh
Copy link
Contributor Author

petterh commented Nov 21, 2023

@dotnet-policy-service agree

Copy link
Member

@roji roji left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for these!

@roji roji merged commit b848bf1 into dotnet:main Nov 21, 2023
This was referenced Jul 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants