Skip to content

Conversation

@tmat
Copy link
Member

@tmat tmat commented Feb 13, 2025

Follow up on #74820, which added new public API

@ghost ghost added Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead labels Feb 13, 2025
@tmat
Copy link
Member Author

tmat commented Feb 13, 2025

@genlu ptal

@tmat tmat merged commit 5bf4bfe into dotnet:main Feb 13, 2025
25 checks passed
@tmat tmat deleted the SemSearchRef branch February 13, 2025 23:21
@dotnet-policy-service dotnet-policy-service bot added this to the Next milestone Feb 13, 2025
@akhera99 akhera99 modified the milestones: Next, 17.14 P2 Feb 25, 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