Skip to content

Conversation

@maboa
Copy link
Member

@maboa maboa commented Jul 29, 2024

big refactor and selection fixes

@maboa maboa closed this Jul 31, 2024
@maboa maboa reopened this Jul 31, 2024
@maboa maboa merged commit ad1cd53 into main Aug 2, 2024
@maboa
Copy link
Member Author

maboa commented Aug 5, 2024

This goes a long way to addressing #197

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.

2 participants