Skip to content

Remove accidentally added files#76924

Merged
tmat merged 1 commit intodotnet:mainfrom
tmat:RemoveUnusedSemSearchFiles
Jan 25, 2025
Merged

Remove accidentally added files#76924
tmat merged 1 commit intodotnet:mainfrom
tmat:RemoveUnusedSemSearchFiles

Conversation

@tmat
Copy link
Member

@tmat tmat commented Jan 25, 2025

No description provided.

@ghost ghost added Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead labels Jan 25, 2025
@tmat tmat merged commit f060a3f into dotnet:main Jan 25, 2025
25 checks passed
@tmat tmat deleted the RemoveUnusedSemSearchFiles branch January 25, 2025 16:40
@dotnet-policy-service dotnet-policy-service bot added this to the Next milestone Jan 25, 2025
@dibarbet dibarbet modified the milestones: Next, 17.14 P1 Jan 28, 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.

3 participants