Skip to content

Remove newly documented rules from list#69145

Merged
mavasani merged 1 commit intodotnet:mainfrom
gewarren:patch-2
Jul 25, 2023
Merged

Remove newly documented rules from list#69145
mavasani merged 1 commit intodotnet:mainfrom
gewarren:patch-2

Conversation

@gewarren
Copy link
Copy Markdown
Contributor

@gewarren gewarren requested a review from a team as a code owner July 21, 2023 15:30
@ghost ghost added Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead Community The pull request was submitted by a contributor who is not a Microsoft employee. labels Jul 21, 2023
@gewarren
Copy link
Copy Markdown
Contributor Author

@mavasani Can you merge this for me?

@mavasani mavasani merged commit 724dfa4 into dotnet:main Jul 25, 2023
@ghost ghost added this to the Next milestone Jul 25, 2023
@dibarbet dibarbet modified the milestones: Next, 17.8 P2 Aug 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-Infrastructure Community The pull request was submitted by a contributor who is not a Microsoft employee. 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.

3 participants