Skip to content

Conversation

dagnir
Copy link
Contributor

@dagnir dagnir commented Aug 25, 2025

Reverts #6349

@dagnir dagnir added changelog-not-required Indicate changelog entry is not required for a specific PR and removed changelog-not-required Indicate changelog entry is not required for a specific PR labels Aug 25, 2025
@dagnir dagnir marked this pull request as ready for review August 25, 2025 18:30
@dagnir dagnir requested a review from a team as a code owner August 25, 2025 18:30
@dagnir
Copy link
Contributor Author

dagnir commented Aug 25, 2025

Merged upstream in PR 4237. Closing this.

@dagnir dagnir closed this Aug 25, 2025
Copy link

Copy link

This pull request has been closed and the conversation has been locked. Comments on closed PRs are hard for our team to see. If you need more assistance, please open a new issue that references this one.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Aug 25, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant