Conversation

giacomocusinato

Motivation

Change description

Other information

Reviewer checklist

  • PR addresses a single concern.
  • The PR has no duplicates (please search among the Pull Requests before creating one)
  • PR title and description are properly filled.
  • Docs have been added / updated (for bug fixes / features)

@giacomocusinatogiacomocusinato marked this pull request as ready for review April 9, 2025 12:18
@giacomocusinatogiacomocusinato added type: enhancementProposed improvementtopic: infrastructureRelated to project infrastructurelabels Apr 9, 2025
@giacomocusinatogiacomocusinato merged commit 0f9f0d0 into main Apr 9, 2025
62 checks passed
@giacomocusinatogiacomocusinato deleted the version-2.3.7 branch April 9, 2025 12:48
Sign up for free to join this conversation on . Already have an account? Sign in to comment

@per1234 per1234 per1234 approved these changes

No one assigned
topic: infrastructureRelated to project infrastructuretype: enhancementProposed improvement
None yet
No milestone

Successfully merging this pull request may close these issues.