Skip to content

Make definitions cloneable#430

Open
01mf02 wants to merge 1 commit into
mainfrom
def-clone
Open

Make definitions cloneable#430
01mf02 wants to merge 1 commit into
mainfrom
def-clone

Conversation

@01mf02
Copy link
Copy Markdown
Owner

@01mf02 01mf02 commented Apr 16, 2026

See #427.

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