Skip to content

Correct name - #388

Merged
rerpha merged 1 commit into
mainfrom
eh
Oct 8, 2026
Merged

rerpha merged 1 commit into
mainfrom
eh

Conversation

@Tom-Willemsen

Copy link
Copy Markdown
Member

correct for the fact that I'm an idiot

@Tom-Willemsen
Tom-Willemsen requested a review from rerpha October 8, 2026 10:01
@Tom-Willemsen Tom-Willemsen changed the title eh Correct name Oct 8, 2026

@rerpha rerpha left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

whoops, i should have caught this

@rerpha
rerpha merged commit a176d72 into main Oct 8, 2026
6 checks passed
@rerpha
rerpha deleted the eh branch October 8, 2026 10:42
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