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.

Sign up for GitHub

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

Jump to bottom

langserver: ignore duplicate document versions in textDocument/didChange #940

Merged
merged 1 commit into from
Jun 7, 2022
Merged

langserver: ignore duplicate document versions in textDocument/didChange #940

merged 1 commit into from
Jun 7, 2022

Conversation

radeksimko
Copy link
Member

@radeksimko radeksimko added the bug Something isn't working label Jun 7, 2022
@radeksimko radeksimko requested a review from a team as a code owner June 7, 2022 10:51
@radeksimko radeksimko assigned radeksimko and unassigned radeksimko Jun 7, 2022
jpogran
jpogran approved these changes Jun 7, 2022
View reviewed changes
Copy link
Contributor

@jpogran jpogran left a comment

Choose a reason for hiding this comment

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

No errors sent 😍

@radeksimko radeksimko merged commit a597cce into main Jun 7, 2022
@radeksimko radeksimko deleted the f-ignore-duplicate-doc-versions branch June 7, 2022 14:19
@radeksimko radeksimko mentioned this pull request Jun 8, 2022
Closed
@mosheavni
Copy link

Thank you very much.

@github-actions
Copy link

I'm going to lock this pull request because it has been closed for 30 days ⏳. This helps our maintainers find and focus on the active issues.
If you have found a problem that seems related to this change, please open a new issue and complete the issue template so we can capture all the details necessary to investigate further.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jul 19, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@jpogran jpogran jpogran approved these changes

Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Allow (ignore) duplicate document versions sent by client in didChange
3 participants
@radeksimko @mosheavni @jpogran