Skip to content

Conversation

@varunursekar
Copy link

Minimal PR for this issue I created

@seratch seratch added the enhancement New feature or request label Nov 4, 2025
@seratch
Copy link
Member

seratch commented Nov 4, 2025

Thanks for sharing this patch, but we don't plan to have this for this reason: #2030 (comment)

@seratch seratch marked this pull request as draft November 4, 2025 08:08
@github-actions
Copy link
Contributor

This PR is stale because it has been open for 10 days with no activity.

@github-actions github-actions bot added the stale label Dec 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request stale

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants