Skip to content

Update shapeless#11824

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

Commits

Commits on Mar 19, 2021