Skip to content

chore: merge master into develop#3825

Merged
straker merged 2 commits intodevelopfrom
master
Dec 13, 2022
Merged

chore: merge master into develop#3825
straker merged 2 commits intodevelopfrom
master

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

No description provided.

@github-actions github-actions bot requested a review from a team as a code owner December 12, 2022 19:33
@CLAassistant
Copy link
Copy Markdown

CLAassistant commented Dec 12, 2022

CLA assistant check
All committers have signed the CLA.

@straker straker merged commit bb4ad21 into develop Dec 13, 2022
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.

4 participants