Skip to content

Conversation

@elharo
Copy link
Contributor

@elharo elharo commented Aug 13, 2025

No description provided.

@elharo elharo marked this pull request as ready for review August 13, 2025 21:17
@elharo elharo requested a review from olamy August 13, 2025 21:17
@elharo elharo merged commit a2351d2 into master Aug 21, 2025
131 checks passed
@elharo elharo deleted the exc branch August 21, 2025 21:54
@github-actions
Copy link

@elharo Please assign appropriate label to PR according to the type of change.

@github-actions github-actions bot added this to the 3.11.4 milestone Aug 21, 2025
@olamy olamy modified the milestones: 3.11.4, 3.12.0 Aug 27, 2025
@olamy olamy added the skip-changelog Skip this PR from automatically changelog generation label Aug 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip-changelog Skip this PR from automatically changelog generation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants