Skip to content

Conversation

@SimonMarquis
Copy link
Contributor

No description provided.

@SimonMarquis SimonMarquis marked this pull request as ready for review December 10, 2025 10:32
@Jaehwa-Noh
Copy link
Contributor

Duplicated with #1942

@SimonMarquis
Copy link
Contributor Author

I know that, I just want to offer a simpler "1 commit" version of it in the hope it will be merged sooner.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants