Skip to content

Update shapeless#11824

Merged
odersky merged 1 commit intomasterfrom
topic/update-shapeless
Mar 19, 2021
Merged

Update shapeless#11824
odersky merged 1 commit intomasterfrom
topic/update-shapeless

Commits

Commits on Mar 19, 2021