Skip to content

Conversation

@monojenkins
Copy link
Collaborator

Fixes #7564.

Backport of #7571.

/cc @rolfbjarne

@monojenkins monojenkins added this to the d16-5 milestone Dec 12, 2019
@monojenkins
Copy link
Collaborator Author

Build success
Build succeeded
API Diff (from stable)
API Diff (from PR only) (no change)
Generator Diff (no change)
Test run succeeded

@spouliot spouliot merged commit 3483132 into dotnet:d16-5 Dec 12, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants