Skip to content

fixes #243#264

Merged
ringabout merged 1 commit intodevelfrom
pr_form
Mar 29, 2025
Merged

fixes #243#264
ringabout merged 1 commit intodevelfrom
pr_form

Conversation

@ringabout
Copy link
Copy Markdown
Member

@ringabout ringabout commented Mar 29, 2025

@ringabout ringabout merged commit 3c702b5 into devel Mar 29, 2025
4 checks passed
@ringabout ringabout deleted the pr_form branch March 29, 2025 11:52
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