Skip to content

Conversation

pjuarezd
Copy link
Member

Description

Related Issue

Type of Change

  • New Release 🚀
  • Breaking change 🚨
  • Documentation update 📖
  • Refactor 🔨
  • Other (please describe) ⬇️

@pjuarezd pjuarezd added the release When we have a new release label Apr 14, 2025
@pjuarezd pjuarezd self-assigned this Apr 14, 2025
@donatello donatello merged commit 0037830 into master Apr 18, 2025
21 checks passed
@donatello donatello deleted the release-7.1.0 branch April 18, 2025 22:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release When we have a new release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants