Skip to content

Conversation

@soulomoon
Copy link
Collaborator

@soulomoon soulomoon commented Nov 13, 2025

see #627

@soulomoon soulomoon linked an issue Nov 13, 2025 that may be closed by this pull request
@soulomoon
Copy link
Collaborator Author

soulomoon commented Nov 14, 2025

it is a very small change that would fix the bug. If no one disagree I will merge next week.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Language server unexpectedly terminated error

2 participants