Skip to content

Main#435

Merged
valadas merged 8 commits intodevelopmentfrom
main
Jan 15, 2022
Merged

Main#435
valadas merged 8 commits intodevelopmentfrom
main

Conversation

@valadas
Copy link
Copy Markdown
Member

@valadas valadas commented Jan 15, 2022

sync up main and develop

@valadas valadas added the build label Jan 15, 2022
@valadas valadas added this to the 0.13.0 milestone Jan 15, 2022
@valadas valadas merged commit 935b946 into development Jan 15, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant