Skip to content

Update formatting to please linters#314

Merged
manthey merged 1 commit intomainfrom
update-formatting
Jan 20, 2026
Merged

Update formatting to please linters#314
manthey merged 1 commit intomainfrom
update-formatting

Conversation

@manthey
Copy link
Contributor

@manthey manthey commented Jan 20, 2026

No description provided.

@manthey manthey merged commit 87846c5 into main Jan 20, 2026
7 checks passed
@manthey manthey deleted the update-formatting branch January 20, 2026 13: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