Skip to content

Extract some lsp diagnostic changes to make PR simpler.#48740

Merged
CyrusNajmabadi merged 1 commit intodotnet:masterfrom
CyrusNajmabadi:ports
Oct 18, 2020
Merged

Extract some lsp diagnostic changes to make PR simpler.#48740
CyrusNajmabadi merged 1 commit intodotnet:masterfrom
CyrusNajmabadi:ports

Conversation

@CyrusNajmabadi
Copy link
Contributor

Extracted from #48328

@CyrusNajmabadi CyrusNajmabadi requested a review from a team as a code owner October 18, 2020 16:35
@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.

Copy link
Member

@davidwengier davidwengier left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

<3

@CyrusNajmabadi CyrusNajmabadi merged commit 9907769 into dotnet:master Oct 18, 2020
@ghost ghost added this to the Next milestone Oct 18, 2020
@CyrusNajmabadi CyrusNajmabadi deleted the ports branch October 18, 2020 23:11
@allisonchou allisonchou modified the milestones: Next, 16.9.P2 Nov 24, 2020
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.

4 participants