Skip to content

Magnus/tidying#44

Merged
edvardwd merged 3 commits into
mainfrom
magnus/tidying
Mar 16, 2026
Merged

Magnus/tidying#44
edvardwd merged 3 commits into
mainfrom
magnus/tidying

Conversation

@Mangern
Copy link
Copy Markdown
Collaborator

@Mangern Mangern commented Mar 16, 2026

Basically just chore: chore

Copy link
Copy Markdown
Collaborator

@edvardwd edvardwd left a comment

Choose a reason for hiding this comment

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

LGTM

@edvardwd edvardwd merged commit d92cae4 into main Mar 16, 2026
1 check passed
@edvardwd edvardwd deleted the magnus/tidying branch March 16, 2026 13:45
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