Skip to content

Move global options to EditorFeature layer#59071

Merged
tmat merged 3 commits into
dotnet:mainfrom
tmat:RemoteHostOpt
Feb 16, 2022
Merged

Move global options to EditorFeature layer#59071
tmat merged 3 commits into
dotnet:mainfrom
tmat:RemoteHostOpt

Conversation

@tmat
Copy link
Copy Markdown
Member

@tmat tmat commented Jan 26, 2022

@ghost ghost added the Area-IDE label Jan 26, 2022
@tmat tmat force-pushed the RemoteHostOpt branch 2 times, most recently from aaf6ecc to 395a8d2 Compare February 2, 2022 19:31
@tmat tmat marked this pull request as ready for review February 16, 2022 19:04
@tmat tmat requested a review from a team as a code owner February 16, 2022 19:04
@tmat tmat enabled auto-merge (squash) February 16, 2022 21:12
@tmat tmat merged commit fb70360 into dotnet:main Feb 16, 2022
@ghost ghost added this to the Next milestone Feb 16, 2022
@tmat tmat deleted the RemoteHostOpt branch February 17, 2022 17:23
@RikkiGibson RikkiGibson modified the milestones: Next, 17.2.P2 Mar 1, 2022
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.

3 participants