Skip to content

Conversation

@jjonescz
Copy link
Member

@jjonescz jjonescz commented Oct 6, 2023

@ghost ghost added Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead labels Oct 6, 2023
@jjonescz jjonescz marked this pull request as ready for review October 6, 2023 14:34
@RikkiGibson RikkiGibson merged commit 0caa880 into dotnet:main Oct 6, 2023
@ghost ghost added this to the Next milestone Oct 6, 2023
@jjonescz jjonescz deleted the signed-builds branch October 7, 2023 05:02
dibarbet pushed a commit to dibarbet/roslyn that referenced this pull request Oct 9, 2023
@jjonescz jjonescz modified the milestones: Next, 17.9 P1 Oct 31, 2023
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.

2 participants