Skip to content

fix bug that crashes region selection#108

Merged
rtr46 merged 1 commit into
mainfrom
fix-region-selection
Jun 3, 2026
Merged

fix bug that crashes region selection#108
rtr46 merged 1 commit into
mainfrom
fix-region-selection

Conversation

@rtr46

@rtr46 rtr46 commented Jun 3, 2026

Copy link
Copy Markdown
Owner

No description provided.

@rtr46
rtr46 merged commit ed1b70c into main Jun 3, 2026
4 checks passed
@rtr46
rtr46 deleted the fix-region-selection branch June 3, 2026 19:05
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.

1 participant