Skip to content

Conversation

@basicdays
Copy link
Owner

@basicdays basicdays commented Mar 15, 2022

Cleaning up old PRs and branches.

@basicdays basicdays marked this pull request as ready for review March 15, 2022 19:08
@basicdays basicdays merged commit 7cd4c94 into develop Mar 15, 2022
@basicdays basicdays deleted the 1.0-beta branch March 15, 2022 19:09
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.

2 participants