Skip to content

Additional functionality & bugfixes#20

Merged
omaus merged 14 commits intomainfrom
feature-ontology-#6
Aug 7, 2025
Merged

Additional functionality & bugfixes#20
omaus merged 14 commits intomainfrom
feature-ontology-#6

Conversation

@omaus
Copy link
Member

@omaus omaus commented Aug 7, 2025

This PR

@omaus omaus self-assigned this Aug 7, 2025
@omaus omaus merged commit 2d9967d into main Aug 7, 2025
2 checks passed
@omaus omaus deleted the feature-ontology-#6 branch August 7, 2025 17:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant

Comments