Skip to content

Conversation

@TimWSpence
Copy link
Contributor

No description provided.

@TimWSpence TimWSpence marked this pull request as ready for review October 5, 2022 11:13
@anatoliykmetyuk anatoliykmetyuk added the needs-minor-release This PR cannot be merged until the next minor release label Oct 10, 2022
@dwijnand dwijnand added this to the 3.3.0 backports milestone Jan 16, 2023
@dwijnand dwijnand merged commit d99d9bf into scala:main Jan 16, 2023
@Kordyjan Kordyjan modified the milestones: 3.3.0 backports, 3.3.0 Aug 2, 2023
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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants