Skip to content

Conversation

@jdehaan
Copy link
Member

@jdehaan jdehaan commented Apr 9, 2025

fixes #59

@jdehaan jdehaan merged commit fc47d51 into main Apr 9, 2025
19 checks passed
@jdehaan jdehaan deleted the fix/cut branch April 9, 2025 21:26
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.

Shapes are cutted

2 participants