Skip to content

Fix misspelling#433

Merged
martinthomson merged 1 commit into
mainfrom
issue432
May 21, 2026
Merged

Fix misspelling#433
martinthomson merged 1 commit into
mainfrom
issue432

Conversation

@martinthomson
Copy link
Copy Markdown
Member

@martinthomson martinthomson commented May 19, 2026

Closes #432.


Preview | Diff

@martinthomson martinthomson merged commit ed18c7c into main May 21, 2026
2 checks passed
@martinthomson martinthomson deleted the issue432 branch May 21, 2026 05:10
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.

Broken links in Attribution Level 1

2 participants