Skip to content

Conversation

@progval
Copy link
Member

@progval progval commented Nov 27, 2023

I forgot to re-target #279 before merging it, so it went to develop instead of master

@moranegg moranegg modified the milestone: v3.0 Dec 12, 2023
@progval progval added this to the v4.0 milestone Dec 12, 2023
@progval progval closed this Dec 12, 2023
Co-authored-by: Valentin Lorentz <[email protected]>
@progval progval reopened this Dec 12, 2023
Merge master into develop branch
@moranegg
Copy link
Member

@progval how should we proceed with the develop branch? can we merge?

@progval
Copy link
Member Author

progval commented Apr 10, 2025

yes

@moranegg moranegg merged commit cf5659a into master Apr 24, 2025
5 checks passed
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