Skip to content

Conversation

umbynos
Copy link
Contributor

@umbynos umbynos commented Jul 31, 2023

Followup of #204

@umbynos umbynos merged commit 2425c08 into main Jul 31, 2023
@umbynos umbynos deleted the add-0.2.1 branch July 31, 2023 10:38
@per1234 per1234 added type: enhancement Proposed improvement topic: infrastructure Related to project infrastructure labels Aug 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants