Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Explore switching the merge editor to the new diff algorithm #160801

Closed
hediet opened this issue Sep 13, 2022 · 0 comments · Fixed by #162559
Closed

Explore switching the merge editor to the new diff algorithm #160801

hediet opened this issue Sep 13, 2022 · 0 comments · Fixed by #162559
Assignees
Labels
feature-request Request for new features or functionality insiders-released Patch has been released in VS Code Insiders merge-editor verified Verification succeeded
Milestone

Comments

@hediet
Copy link
Member

hediet commented Sep 13, 2022

No description provided.

@hediet hediet added feature-request Request for new features or functionality merge-editor labels Sep 13, 2022
@hediet hediet added this to the September 2022 milestone Sep 13, 2022
@hediet hediet self-assigned this Sep 13, 2022
@hediet hediet modified the milestones: September 2022, October 2022 Sep 29, 2022
@VSCodeTriageBot VSCodeTriageBot added unreleased Patch has not yet been released in VS Code Insiders insiders-released Patch has been released in VS Code Insiders and removed unreleased Patch has not yet been released in VS Code Insiders labels Oct 3, 2022
@hediet hediet added the verified Verification succeeded label Oct 25, 2022
@github-actions github-actions bot locked and limited conversation to collaborators Nov 17, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
feature-request Request for new features or functionality insiders-released Patch has been released in VS Code Insiders merge-editor verified Verification succeeded
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants