Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

Backport of #8302 to feature/10.0

/cc @wiktork

@github-actions github-actions bot added the backport Pull requests that are backports of another pull request label May 29, 2025
@github-actions github-actions bot requested a review from a team as a code owner May 29, 2025 23:42
@wiktork wiktork enabled auto-merge (squash) May 29, 2025 23:46
@wiktork wiktork merged commit af3089d into feature/10.0 May 30, 2025
20 checks passed
@wiktork wiktork deleted the backport/pr-8302-to-feature/10.0 branch May 30, 2025 00:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport Pull requests that are backports of another pull request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant