Skip to content

Drop old given syntax#10613

Merged
nicolasstucki merged 8 commits intoscala:masterfrom
dotty-staging:drop-old-given-syntax
Dec 3, 2020
Merged

Drop old given syntax#10613
nicolasstucki merged 8 commits intoscala:masterfrom
dotty-staging:drop-old-given-syntax

Commits

Commits on Dec 2, 2020