Skip to content

Comments

fixed issue with unidentified node type#35

Merged
emoscardini merged 1 commit intomainfrom
bugfix/unidentified_node_type
Oct 14, 2025
Merged

fixed issue with unidentified node type#35
emoscardini merged 1 commit intomainfrom
bugfix/unidentified_node_type

Conversation

@emoscardini
Copy link
Member

No description provided.

@emoscardini emoscardini merged commit 4041413 into main Oct 14, 2025
1 check passed
@emoscardini emoscardini deleted the bugfix/unidentified_node_type branch October 14, 2025 18:11
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