Skip to content

Conversation

rm-openai
Copy link
Collaborator

@rm-openai rm-openai commented Aug 29, 2025

No description provided.

Copy link
Member

@seratch seratch left a comment

Choose a reason for hiding this comment

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

If there is no concern with #1587, I would like to have the change too. But if you think we need to make it final, that's fine too!

@rm-openai rm-openai merged commit de9d1fd into main Aug 29, 2025
5 checks passed
@rm-openai rm-openai deleted the rm/pr1607 branch August 29, 2025 14:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants