Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Scala 2.13.15 (was .14) #21648

Merged
merged 2 commits into from
Oct 15, 2024
Merged

Scala 2.13.15 (was .14) #21648

merged 2 commits into from
Oct 15, 2024

Conversation

SethTisue
Copy link
Member

No description provided.

@SethTisue SethTisue added the backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. label Sep 25, 2024
@SethTisue SethTisue marked this pull request as draft September 25, 2024 19:08
@SethTisue SethTisue added the area:library Standard library label Oct 11, 2024
@WojciechMazur WojciechMazur added this to the 3.6.0 milestone Oct 15, 2024
@SethTisue
Copy link
Member Author

thanks Wojciech for the community build fix

@SethTisue SethTisue marked this pull request as ready for review October 15, 2024 14:35
@WojciechMazur WojciechMazur merged commit f6bfa0a into scala:main Oct 15, 2024
28 checks passed
@SethTisue SethTisue deleted the scala-2.13.15 branch October 15, 2024 19:04
WojciechMazur added a commit that referenced this pull request Oct 16, 2024
Backports #21648 to 3.6.0-RC1

---------

Co-authored-by: Seth Tisue <[email protected]>
@WojciechMazur WojciechMazur added backport:done This PR was successfully backported. and removed backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. labels Oct 16, 2024
WojciechMazur added a commit to scala/scala3-lts that referenced this pull request Dec 5, 2024
Co-authored-by: Wojciech Mazur <[email protected]>
[Cherry-picked f6bfa0a][modified]
WojciechMazur added a commit to scala/scala3-lts that referenced this pull request Dec 5, 2024
Co-authored-by: Wojciech Mazur <[email protected]>
[Cherry-picked f6bfa0a][modified]
WojciechMazur added a commit that referenced this pull request Dec 9, 2024
Co-authored-by: Wojciech Mazur <[email protected]>
[Cherry-picked f6bfa0a][modified]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area:library Standard library backport:done This PR was successfully backported.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants