Skip to content

Conversation

pierluigilenoci
Copy link
Contributor

No description provided.

@pierluigilenoci pierluigilenoci requested a review from tuunit July 17, 2025 12:47
@pierluigilenoci
Copy link
Contributor Author

@tuunit, if you want a minor bump, the correct one is 7.14.0

@pierluigilenoci pierluigilenoci requested a review from tuunit July 17, 2025 13:37
@tuunit
Copy link
Member

tuunit commented Jul 17, 2025

@tuunit, if you want a minor bump, the correct one is 7.14.0

I wanted to merge the other PR first and already prepared this PR accordingly and then got distracted. Thanks for fixing the conflict!

@tuunit tuunit merged commit d86050d into main Jul 17, 2025
1 check passed
@tuunit tuunit deleted the chore/update-to-v7.10.0 branch July 17, 2025 14:39
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.

2 participants