Skip to content

Conversation

@pan3793
Copy link
Collaborator

@pan3793 pan3793 commented Jan 8, 2023

Close #205

@pan3793 pan3793 merged commit 553b8b5 into master Jan 8, 2023
@pan3793 pan3793 deleted the gh-205 branch January 10, 2023 12:29
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.

Unsupported type: Bool

2 participants