Skip to content

Conversation

@jkotas
Copy link
Member

@jkotas jkotas commented May 5, 2022

No description provided.

@jkotas jkotas requested a review from MichalStrehovsky as a code owner May 5, 2022 06:41
@ghost ghost assigned jkotas May 5, 2022
@ghost ghost added the area-Meta label May 5, 2022
@ghost
Copy link

ghost commented May 5, 2022

Tagging subscribers to this area: @dotnet/area-meta
See info in area-owners.md if you want to be subscribed.

Issue Details

null

Author: jkotas
Assignees: jkotas
Labels:

area-Meta

Milestone: -

@jkotas
Copy link
Member Author

jkotas commented May 5, 2022

Contributes to #68151 (comment) . There is still a bunch left that I am going to do in a second pass. Some of the references are "by design" e.g. links to archived issues.

@jkotas jkotas force-pushed the corert branch 2 times, most recently from 5d4468c to 2aa1aad Compare May 5, 2022 06:47
jkotas and others added 2 commits May 5, 2022 07:59
Co-authored-by: Theodore Tsirpanis <teo@tsirpanis.gr>
@jkotas jkotas merged commit b59c649 into dotnet:main May 6, 2022
@jkotas jkotas deleted the corert branch May 6, 2022 01:14
@ghost ghost locked as resolved and limited conversation to collaborators Jun 5, 2022
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