Skip to content

Conversation

@marcoandredinis
Copy link
Contributor

Backport #60725 to branch/v18

@marcoandredinis marcoandredinis added the no-changelog Indicates that a PR does not require a changelog entry label Nov 12, 2025
@public-teleport-github-review-bot public-teleport-github-review-bot bot removed the request for review from boxofrad November 12, 2025 18:39
@marcoandredinis marcoandredinis added this pull request to the merge queue Nov 12, 2025
Merged via the queue into branch/v18 with commit 5a39c90 Nov 12, 2025
42 checks passed
@marcoandredinis marcoandredinis deleted the bot/backport-60725-branch/v18 branch November 12, 2025 18:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport no-changelog Indicates that a PR does not require a changelog entry size/sm

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants