Skip to content

Conversation

@dibarbet
Copy link
Member

@dibarbet dibarbet commented Apr 3, 2023

…se/dev17.7-vs-deps

Merge release/dev17.7 to release/dev17.7-vs-deps

…se/dev17.7-vs-deps

Merge release/dev17.7 to release/dev17.7-vs-deps
@ghost ghost added Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead labels Apr 3, 2023
@dibarbet dibarbet changed the title Merge pull request #67538 from dotnet/merges/release/dev17.7-to-relea… Merge 17.7-vs-deps back into 17.7 Apr 3, 2023
@dibarbet dibarbet marked this pull request as ready for review April 3, 2023 18:55
@dibarbet dibarbet requested a review from a team as a code owner April 3, 2023 18:55
@dibarbet dibarbet merged commit d550251 into release/dev17.7 Apr 3, 2023
@arunchndr arunchndr deleted the release/dev17.7-vs-deps branch April 3, 2023 20:22
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