Skip to content

Fix #133#193

Merged
labordep merged 1 commit into
mainfrom
dev-pla
Oct 1, 2024
Merged

Fix #133#193
labordep merged 1 commit into
mainfrom
dev-pla

Conversation

@labordep

@labordep labordep commented Oct 1, 2024

Copy link
Copy Markdown
Member

No description provided.

@labordep labordep added the enhancement New feature or request label Oct 1, 2024
@labordep labordep self-assigned this Oct 1, 2024
@labordep labordep added technical work Some technical stuff: technical debt, refactoring, cleanup, performance, writing unit tests, etc. and removed enhancement New feature or request labels Oct 1, 2024
@labordep labordep merged commit ef06f85 into main Oct 1, 2024
@labordep labordep deleted the dev-pla branch October 1, 2024 21:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

technical work Some technical stuff: technical debt, refactoring, cleanup, performance, writing unit tests, etc.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant