Skip to content

Conversation

@stephentoub
Copy link
Member

No description provided.

@Dotnet-GitSync-Bot
Copy link
Collaborator

I couldn't figure out the best area label to add to this PR. If you have write-permissions please help me learn by adding exactly one area label.

@stephentoub stephentoub merged commit 7edc80a into dotnet:master Jun 30, 2020
@stephentoub stephentoub deleted the removepragmas branch June 30, 2020 09:35
@ghost ghost locked as resolved and limited conversation to collaborators Dec 8, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants