Skip to content

Conversation

tomaneo
Copy link
Contributor

@tomaneo tomaneo commented Apr 27, 2025

Fixes #1803 .

@cxxxr cxxxr merged commit 2959255 into lem-project:main Jun 17, 2025
2 checks passed
@tomaneo tomaneo deleted the issue-1803 branch June 17, 2025 14:21
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.

Unable to rebind comment-or-uncomment-region command
2 participants