Skip to content

Conversation

@jkotas
Copy link
Member

@jkotas jkotas commented Jan 10, 2022

@ghost ghost assigned jkotas Jan 10, 2022
@jkotas jkotas requested a review from jcouv January 10, 2022 18:26
@ghost ghost added the area-Tools-ILVerification Issues related to ilverify tool and IL verification in general label Jan 10, 2022
@ghost
Copy link

ghost commented Jan 10, 2022

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

Issue Details

null

Author: jkotas
Assignees: jkotas
Labels:

area-ILVerification

Milestone: -

@jkotas jkotas requested a review from ericstj January 10, 2022 18:26
@jkotas jkotas merged commit cbfdf3f into dotnet:main Jan 12, 2022
@jkotas jkotas deleted the openkey branch January 12, 2022 02:43
@ghost ghost locked as resolved and limited conversation to collaborators Feb 11, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

area-Tools-ILVerification Issues related to ilverify tool and IL verification in general

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants