Skip to content

Conversation

rainersigwald
Copy link
Member

I feel a bit bad condensing so much work into "performance improvments".

@rainersigwald rainersigwald 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 Nov 10, 2021
@Forgind Forgind merged commit 37c6111 into dotnet:main Nov 12, 2021
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