Skip to content

Fix shapeless in the community build#10021

Merged
smarter merged 1 commit intoscala:masterfrom
dotty-staging:fix-shapeless
Oct 16, 2020

Commits

Commits on Oct 16, 2020