Skip to content

Conversation

@odersky
Copy link
Contributor

@odersky odersky commented Nov 28, 2025

Fixes #24584

This SIP was approved in the August 2025 meeting. Ideally it should have shipped in 3.8, but we missed the window. So it should ship in 3.10.

@odersky odersky requested a review from a team as a code owner November 28, 2025 18:01
@odersky odersky added the needs-minor-release This PR cannot be merged until the next minor release label Nov 28, 2025
@odersky odersky added this to the Future versions milestone Nov 28, 2025
@odersky
Copy link
Contributor Author

odersky commented Nov 29, 2025

@Gedochao Assigning to you to merge for 3.10.

@Gedochao Gedochao added the stat:feature freeze Issues and PRs waiting for the feature freeze to be lifted. label Dec 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs-minor-release This PR cannot be merged until the next minor release stat:feature freeze Issues and PRs waiting for the feature freeze to be lifted.

2 participants