Skip to content

Commit

Permalink
Merge pull request #11824 from lampepfl/topic/update-shapeless
Browse files Browse the repository at this point in the history
Update shapeless
  • Loading branch information
odersky authored Mar 19, 2021
2 parents 9c22ce7 + 8070d1c commit b1f0b30
Showing 1 changed file with 1 addition and 1 deletion.

0 comments on commit b1f0b30

Please sign in to comment.