diff options
| author | Michael Davis | 2023-06-29 15:24:13 +0000 |
|---|---|---|
| committer | GitHub | 2023-06-29 15:24:13 +0000 |
| commit | 4fab60030fbf5b44d770618336f21897226db4cd (patch) | |
| tree | af51ac157543dcb99b16db3259a3b46254ca3c25 /.github | |
| parent | d3f8e0592bd577489369e5bd00cddf159f107a24 (diff) | |
LSP: Use negotiated position encoding for workspace edits (#7469)
Previously this was hard-coded to UTF-8 but we might have negotiated
another position encoding.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions