Skip to content

typos - #106

Merged
elsdvlee merged 1 commit into
mainfrom
bjdmeest/typos
Sep 29, 2026
Merged

typos#106
elsdvlee merged 1 commit into
mainfrom
bjdmeest/typos

Conversation

@bjdmeest

Copy link
Copy Markdown
Member

What's changed

Change checklist

  • updated ontology, where necessary
  • updated shapes, where necessary
  • added or updated test cases, where necessary
  • any TODOs have been turned into trackable issues and referenced where necessary

Issue reference

@bjdmeest
bjdmeest requested a review from elsdvlee September 29, 2026 06:46
@elsdvlee
elsdvlee merged commit 1f3d44e into main Sep 29, 2026
1 check passed
@elsdvlee
elsdvlee deleted the bjdmeest/typos branch September 29, 2026 07:39
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