Skip to content

Conversation

@jkotas
Copy link
Member

@jkotas jkotas commented Nov 29, 2020

No description provided.

Copy link
Member

@MichalStrehovsky MichalStrehovsky left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@jkotas jkotas merged commit 188a1ee into dotnet:master Nov 30, 2020
@jkotas jkotas deleted the corert-ri branch November 30, 2020 18:15
@ghost ghost locked as resolved and limited conversation to collaborators Dec 30, 2020
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