Skip to content

Update shapeless #7230

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
Merged
merged 2 commits into from
Sep 15, 2019
Merged

Update shapeless #7230

merged 2 commits into from
Sep 15, 2019

Conversation

@milessabin
Copy link
Contributor

@milessabin milessabin commented Sep 15, 2019

I've pointed the community build at the shapeless-3-staging branch of https://github.com/dotty-staging/shapeless now, and from this point on I'll push to that branch.

@milessabin milessabin self-assigned this Sep 15, 2019
@milessabin milessabin mentioned this pull request Sep 15, 2019
Closed
@milessabin milessabin merged commit fa3c006 into scala:master Sep 15, 2019
@milessabin milessabin deleted the topic/update-shapeless branch September 15, 2019 13:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@milessabin milessabin

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@milessabin