Skip to content

Fix linting#973

Merged
LarsAsplund merged 1 commit intomasterfrom
fix-lint-20231102
Nov 5, 2023
Merged

Fix linting#973
LarsAsplund merged 1 commit intomasterfrom
fix-lint-20231102

Conversation

@LarsAsplund
Copy link
Collaborator

No description provided.

@LarsAsplund LarsAsplund merged commit d591321 into master Nov 5, 2023
@eine eine deleted the fix-lint-20231102 branch March 11, 2024 15:11
@eine eine added this to the v5.0.0 milestone Mar 11, 2024
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