Skip to content

Conversation

@elachlan
Copy link
Contributor

@Forgind Forgind added the merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now. label Jan 12, 2022
@Forgind Forgind merged commit 32e260b into dotnet:main Jan 12, 2022
@elachlan elachlan deleted the SA1134 branch January 12, 2022 21:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants