Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented May 9, 2023

Backport of #15098 to main

/cc @vzarytovskii

@github-actions github-actions bot requested a review from a team as a code owner May 9, 2023 10:37
@vzarytovskii vzarytovskii enabled auto-merge (squash) May 9, 2023 10:41
@vzarytovskii vzarytovskii merged commit c9c870d into main May 9, 2023
@T-Gro T-Gro deleted the backport/pr-15098-to-main branch June 7, 2023 10:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants