Skip to content

Conversation

@ggazzo
Copy link
Member

@ggazzo ggazzo commented Sep 23, 2022

Proposed changes (including videos or screenshots)

Issue(s)

Steps to test or reproduce

Further comments

@tassoevan tassoevan added this to the 5.2.0 milestone Sep 23, 2022
@ggazzo ggazzo added the stat: ready to merge PR tested and approved waiting for merge label Sep 23, 2022
@ggazzo ggazzo merged commit 8ba1cb8 into develop Sep 23, 2022
@ggazzo ggazzo deleted the chore/bump-vm2 branch September 23, 2022 22:57
@tassoevan tassoevan mentioned this pull request Oct 13, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

stat: ready to merge PR tested and approved waiting for merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants