PR #14010 Fix server panic when undoing an edit

Fix server panic when undoing an edit #14010

MichaReiser merged 3 commits into main from micha/fix-server-panic

Fix server panic when undoing an edit

8b70362a

MichaReiser added bug

MichaReiser added server

MichaReiser requested a review from

dhruvmanila 1 year ago

Discard changes to crates/ruff_python_formatter/src/lib.rs

3e4122a2

Clippy

4384f437

dhruvmanila approved these changes on 2024-11-01

MichaReiser merged 20b8a430 into main 1 year ago

MichaReiser deleted the micha/fix-server-panic branch 1 year ago

Reviewers

dhruvmanila

Assignees

No one assigned

Labels

bug server

Milestone

No milestone