Skip to content

fixed typenames#10

Merged
raphael-s-steiner merged 1 commit intomasterfrom
typenames
Mar 31, 2026
Merged

fixed typenames#10
raphael-s-steiner merged 1 commit intomasterfrom
typenames

Conversation

@raphael-s-steiner
Copy link
Copy Markdown
Owner

No description provided.

@raphael-s-steiner raphael-s-steiner self-assigned this Mar 31, 2026
@raphael-s-steiner raphael-s-steiner merged commit 00f3c6d into master Mar 31, 2026
2 checks passed
@raphael-s-steiner raphael-s-steiner deleted the typenames branch March 31, 2026 04:53
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