Skip to content

Conversation

@dweindl
Copy link
Member

@dweindl dweindl commented Jun 20, 2023

Closes #206

@dweindl dweindl requested a review from plakrisenko as a code owner June 20, 2023 08:02
@dweindl dweindl merged commit d0481b5 into develop Jun 20, 2023
@dweindl dweindl deleted the fix_206 branch June 20, 2023 17:44
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.

3 participants