Skip to content

Drop duplicate methods in DottyPredef#10302

Merged
odersky merged 4 commits intoscala:masterfrom
dotty-staging:reduce-dottypredef
Nov 20, 2020

Commits

Commits on Nov 17, 2020