Skip to content

Conversation

github-actions[bot]
Copy link

Description

Backport of #1335 to release-0.34.

Signed-off-by: Andrei Kvapil <kvapss@gmail.com>
(cherry picked from commit 21d6c69)
@kvaps kvaps merged commit 89b0934 into release-0.34 Aug 12, 2025
1 check passed
@kvaps kvaps deleted the backport-1335-to-release-0.34 branch August 12, 2025 11:09
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.

1 participant