Skip to content

Conversation

@lidavidm
Copy link
Member

@lidavidm lidavidm commented Dec 30, 2025

Rationale for this change

#48050 introduces a warning on some platforms.

What changes are included in this PR?

This reverts commit 16de220.

Are these changes tested?

N/A

Are there any user-facing changes?

N/A

@lidavidm
Copy link
Member Author

I'll merge on green

@github-actions github-actions bot added the awaiting committer review Awaiting committer review label Dec 30, 2025
@HyukjinKwon
Copy link
Member

I made a quick followup at #48687 but feel free to revert this if there's any concern! I am fine either way 👍

Copy link
Member

@HyukjinKwon HyukjinKwon left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for a quick action!

@lidavidm
Copy link
Member Author

Thanks! If that passes then I'll merge that preferentially, let's see

@lidavidm lidavidm closed this Dec 30, 2025
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.

2 participants