Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix WBT #94265

Merged
merged 1 commit into from
Nov 1, 2023
Merged

Fix WBT #94265

merged 1 commit into from
Nov 1, 2023

Conversation

kg
Copy link
Member

@kg kg commented Nov 1, 2023

Two PRs landed in parallel that were incompatible with each other, this should fix the problem

@kg kg requested a review from radical as a code owner November 1, 2023 16:35
@ghost ghost assigned kg Nov 1, 2023
@kg kg merged commit 771a1ab into dotnet:main Nov 1, 2023
22 checks passed
@ghost ghost locked as resolved and limited conversation to collaborators Dec 1, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants