Skip to content

Conversation

@vzarytovskii
Copy link
Member

No description provided.

@vzarytovskii vzarytovskii requested a review from a team as a code owner October 11, 2023 10:08
@vzarytovskii vzarytovskii changed the title .NET 8rc2 .NET 8rc1 fix Oct 11, 2023
@vzarytovskii vzarytovskii merged commit 111361d into main Oct 11, 2023
@vzarytovskii
Copy link
Member Author

Force merged manually once majority of CI was passing, since it's a blocking issue

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants