Skip to content

Update standard library in our community build #9444

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.

Sign up for GitHub

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

Jump to bottom
Closed
nicolasstucki opened this issue Jul 27, 2020 · 1 comment · Fixed by #9450
Closed

Update standard library in our community build #9444

nicolasstucki opened this issue Jul 27, 2020 · 1 comment · Fixed by #9450

Comments

@nicolasstucki
Copy link
Contributor

We should update the standard library in our community build to the latest version from upstream.

Originally posted by @smarter in #9442 (comment)
@nicolasstucki
Copy link
Contributor Author

Do after #9442

@nicolasstucki nicolasstucki linked a pull request Jul 27, 2020 that will close this issue
Fix #9444: Rebase stdLib213 on scala/2.13x #9450
Merged
nicolasstucki added a commit that referenced this issue Jul 28, 2020
@nicolasstucki
Merge pull request #9450 from dotty-staging/fix-#9444
29b5411 
Fix #9444: Rebase stdLib213 on scala/2.13x
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix #9444: Rebase stdLib213 on scala/2.13x dotty-staging/dotty
1 participant
@nicolasstucki