Skip to content

Conversation

@julianoes
Copy link
Collaborator

@julianoes julianoes commented Jan 24, 2025

JonasVautherin
JonasVautherin previously approved these changes Jan 24, 2025
@julianoes julianoes merged commit 76619b0 into main Jan 25, 2025
8 checks passed
@julianoes julianoes deleted the pr-v3 branch January 25, 2025 03:58
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.

3 participants