Skip to content

Remove unused property NullableContextOptions#35725

Closed
sharwell wants to merge 10 commits intodotnet:masterfrom
sharwell:rm-dead-property
Closed

Remove unused property NullableContextOptions#35725
sharwell wants to merge 10 commits intodotnet:masterfrom
sharwell:rm-dead-property

Conversation

@sharwell
Copy link
Copy Markdown
Contributor

@sharwell sharwell commented May 15, 2019

🚧 Builds on #35603 (will rebase this PR to a single commit after that merges)

This reverts commit df6a345.

@sharwell
Copy link
Copy Markdown
Contributor Author

sharwell commented Jun 8, 2019

@jaredpar @agocke I'm closing this since the compiler team added back NullableContextOptions for other reasons. I will let you make the decision on when an appropriate time is to remove it.

@sharwell sharwell closed this Jun 8, 2019
@sharwell sharwell deleted the rm-dead-property branch June 8, 2019 21:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants