Skip to content

Conversation

@efimov-mikhail
Copy link
Member

This is the second part of this idea:
#139951 (comment)

PR for first part is #140204.
It was made based on #139390.

@efimov-mikhail efimov-mikhail marked this pull request as draft October 16, 2025 14:07
@efimov-mikhail
Copy link
Member Author

I'll close this PR since this idea was implemented there: #140262

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.

1 participant