Skip to content

Apply lint suggestions#587

Merged
hannesa2 merged 1 commit into
masterfrom
LintIssues
Jun 23, 2025
Merged

Apply lint suggestions#587
hannesa2 merged 1 commit into
masterfrom
LintIssues

Conversation

@hannesa2

Copy link
Copy Markdown
Collaborator

No description provided.

@hannesa2 hannesa2 merged commit b07ff51 into master Jun 23, 2025
4 checks passed
@hannesa2 hannesa2 deleted the LintIssues branch June 23, 2025 04:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant