Skip to content

Conversation

Linyxus
Copy link
Contributor

@Linyxus Linyxus commented Nov 21, 2023

No description provided.

@odersky
Copy link
Contributor

odersky commented Mar 3, 2024

@Linyxus What is the status of this PR? is it ready to review?

@hamzaremmal
Copy link
Member

Shall we close this PR @Linyxus? Will this be superseded by #23769 @natsukagami ?

@Linyxus Linyxus closed this Aug 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants