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

Add document version to workspace edits #11730

Open
dhruvmanila opened this issue Jun 4, 2024 · 0 comments
Open

Add document version to workspace edits #11730

dhruvmanila opened this issue Jun 4, 2024 · 0 comments
Assignees
@snowsignal
Labels
server Related to the LSP server
Milestone
Ruff Server: Post...

Comments

@dhruvmanila
Copy link
Member

This was removed in #11206 to fix #11248.

(cc @snowsignal, feel free to close this issue if it's not required)
@dhruvmanila dhruvmanila added the server Related to the LSP server label Jun 4, 2024
@snowsignal snowsignal self-assigned this Jun 4, 2024
@snowsignal snowsignal added this to the Ruff Server: Post-Stable milestone Jun 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@snowsignal snowsignal

Labels
server Related to the LSP server
Projects
None yet
Milestone
Ruff Server: Post-Stable
Development

No branches or pull requests
2 participants
@snowsignal @dhruvmanila